Please help support CiteULike by taking part in our survey.
CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

The Impact of the Lambda Calculus in Logic and Computer Science

by: Henk Barendregt
The Bulletin of Symbolic Logic, Vol. 3, No. 2. (1997), pp. 181-215.

X 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.

View the full article here:

JSTOR

This article has been bookmarked 2 times, initially on 2006-02-12.

2006-02-12 User rzach
Group LogicPhilMath
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.