The Impact of the Lambda Calculus in Logic and Computer Science
Henk Barendregt
Source: Bull. Symbolic Logic Volume 3, Number 2 (1997), 181-215.
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.
Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Permanent link to this document: http://projecteuclid.org/euclid.bsl/1182353502
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet):
MR1465817
Zentralblatt MATH identifier:
0887.03008
