The Impact of the Lambda Calculus in Logic and Computer Science

1 June 1997

journal article
Published by Cambridge University Press (CUP) in Bulletin of Symbolic Logic

Vol. 3 (2) , 181-215
https://doi.org/10.2307/421013

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.

Keywords

This publication has 59 references indexed in Scilit:

A theory of type polymorphism in programming
Published by Elsevier ,2003
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic
The Journal of Symbolic Logic, 1998
Definedness
Erkenntnis, 1995
The discoveries of continuations
Higher-Order and Symbolic Computation, 1993
The categorical abstract machine
Science of Computer Programming, 1987
Efficient compilation of lazy evaluation
ACM SIGPLAN Notices, 1984
Computability and λ-definability
The Journal of Symbolic Logic, 1937
Untersuchungen ber das logische Schlie en. II
Mathematische Zeitschrift, 1935
The Inconsistency of Certain Formal Logics
Annals of Mathematics, 1935
Eine Axiomatisierung der Mengenlehre.
Journal für die reine und angewandte Mathematik (Crelles Journal), 1925