Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 3, Number 2 (1997), 181-215.
The Impact of the Lambda Calculus in Logic and Computer Science
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.
Bull. Symbolic Logic, Volume 3, Number 2 (1997), 181-215.
First available in Project Euclid: 20 June 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
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