The Impact of the Lambda Calculus in Logic and Computer Science

The Impact of the Lambda Calculus in Logic and Computer Science (1997)

Cached

Download Links

[www.cse.iitb.ernet.in:8000]
[www.math.ucla.edu]

Other Repositories/Bibliography

DBLP

by Henk Barendregt , Jon Barwise , Johan Van Benthem , Andreas Blass , Olivier Danvy , Pierre Lescanne , Hans Mooij , Robert Maron , Rinus Plasmeijer , Y Pollack

Venue:	Bulletin of Symbolic Logic
Citations:	17 - 0 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The Impact of the Lambda Calculus in Logic and Computer Science	user correction - Legacy Corrections
AUTHOR NAME	Henk Barendregt	SVM HeaderParse 0.1
AUTHOR AFFIL	Computing Science Institute; Nijmegen University	SVM HeaderParse 0.2
AUTHOR ADDR	The Netherlands	SVM HeaderParse 0.1
AUTHOR NAME	Jon Barwise	SVM HeaderParse 0.1
AUTHOR NAME	Johan Van Benthem	SVM HeaderParse 0.1
AUTHOR NAME	Andreas Blass	SVM HeaderParse 0.1
AUTHOR NAME	Olivier Danvy	SVM HeaderParse 0.1
AUTHOR NAME	Pierre Lescanne	SVM HeaderParse 0.1
AUTHOR AFFIL	project WINST (612-316-607).	SVM HeaderParse 0.2
AUTHOR NAME	Hans Mooij	SVM HeaderParse 0.1
AUTHOR AFFIL	project WINST (612-316-607).	SVM HeaderParse 0.2
AUTHOR NAME	Robert Maron	SVM HeaderParse 0.1
AUTHOR AFFIL	project WINST (612-316-607).	SVM HeaderParse 0.2
AUTHOR NAME	Rinus Plasmeijer	SVM HeaderParse 0.1
AUTHOR AFFIL	project WINST (612-316-607).	SVM HeaderParse 0.2
AUTHOR NAME	Y Pollack	SVM HeaderParse 0.1
AUTHOR AFFIL	project WINST (612-316-607).	SVM HeaderParse 0.2
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. Acknowledgement. The following persons provided help in various ways. Erik Barendsen, Jon Barwise, Johan van Benthem, Andreas Blass, Olivier Danvy, Wil Dekkers, Marko van Eekelen, Sol Feferman, Andrzej Filinski, Twan Laan, Jan Kuper, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Randy Pollack, Kristoffer Rose, Richard Shore, Rick Statman and Simon Thompson. Partial support came from the European HCM project Typed lambda calculus (CHRXCT-92-0046), the Esprit Working Group Types (21900) and the Dutch NWO project WINST (612-316-607). 1. Introduction This paper is written to honor Church's gr...	user correction - Legacy Corrections
YEAR	1997	INFERENCE
VENUE	Bulletin of Symbolic Logic	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	181--215	INFERENCE
VOLUME	3	INFERENCE
CITATIONS	18 found	ParsCit 1.0