The Impact of the Lambda Calculus in Logic and Computer Science-Reference-Cited by-同舟云学术

The Impact of the Lambda Calculus in Logic and Computer Science

Published:1997-06 Issue:2 Volume:3 Page:181-215
ISSN:1079-8986
Container-title:Bulletin of Symbolic Logic
language:en
Short-container-title:Bull. symb. log.

Author:

Barendregt Henk

Abstract

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

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference119 articles.

1. The principal type-scheme of an object in combinatory logic;Hindley;Transactions of the American Mathematical Society,1969

2. The Category-Theoretic Solution of Recursive Domain Equations

3. Barendsen E. and Smetsers J. E. W. , Conventional and uniqueness typing in graph rewrite systems (extended abstract), 1993, in [105], pp. 41–51.

4. The categorical abstract machine

Cited by 119 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. What is the Church-Turing Thesis?;Axiomatic Thinking II;2022

2. The Calculus of Natural Calculation;Studia Logica;2021-06-09

3. Transcending Engineering Practice: NOR on the Path from Transistor Technology to Universal Indeterminacy;George Spencer Brown's “Design with the NOR”: With Related Essays;2021-03-08

4. Modeling spread, interlace and interchange of information processes with variable domains;Cognitive Systems Research;2021-03

5. The Teaching and Learning of the Untyped Lambda Calculus Through Web-Based e-Learning Tools;Lecture Notes in Networks and Systems;2021