Bulletin of Symbolic Logic

The Impact of the Lambda Calculus in Logic and Computer Science

Henk Barendregt

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.

Article information

Source
Bull. Symbolic Logic, Volume 3, Number 2 (1997), 181-215.

Dates
First available in Project Euclid: 20 June 2007

Permanent link to this document
https://projecteuclid.org/euclid.bsl/1182353502

Mathematical Reviews number (MathSciNet)
MR1465817

Zentralblatt MATH identifier
0887.03008

JSTOR
links.jstor.org

Citation

Barendregt, Henk. The Impact of the Lambda Calculus in Logic and Computer Science. Bull. Symbolic Logic 3 (1997), no. 2, 181--215. https://projecteuclid.org/euclid.bsl/1182353502


Export citation