The impact of the lambda calculus in logic and computer science

Bulletin of Symbolic Logic 3 (2):181-215 (1997)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.2307/421013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
Lambda-calculus, combinators, and functional programming.György E. Révész - 1988 - New York: Cambridge University Press.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
[Lambda]-calculus and computer science theory: proceedings of the symposium held in Rome, March 25-27, 1975.C. Böhm (ed.) - 1975 - New York: Springer Verlag.
Domains and lambda-calculi.Roberto M. Amadio - 1998 - New York: Cambridge University Press. Edited by P.-L. Curien.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Proofs are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.

Analytics

Added to PP
2009-01-28

Downloads
111 (#159,504)

6 months
8 (#361,319)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Calculus of Natural Calculation.René Gazzari - 2021 - Studia Logica 109 (6):1375-1411.
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.
Type theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.

View all 10 citations / Add more citations

References found in this work

The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.

View all 37 references / Add more references