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

Cached

Download Links

by Henk Barendregt , Erik Barendsen , Jon Barwise , Johan Van Benthem , Andreas Blass , Wil Dekkers , Marko Van Eekelen , Sol Feferman , Andrzej Filinski , Twan Laan , Jan Kuper , Pierre Lescanne , Hans Mooij , Robert Maron , Y Pollack , Richard Shore , Rick Statman
Citations:17 - 0 self

Documents Related by Co-Citation

728 A formulation of the simple theory of types – A Church - 1940
433 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – J E Stoy - 1977
79 A set of postulates for the foundation of logic – Alonzo Church - 1933
727 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
266 The Lambda Calculus: its syntax and semantics, volume 103 of Studies in logic and the foundations of mathematics – Henk Barendregt - 1985
997 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
1224 Introduction to functional programming – Philip Wadler - 1995
136 de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N G - 1972
163 Introduction to Lambda Calculus – Henk Barendregt, Erik Barendsen - 1994
36 Grundlagen der kombinatorischen Logik – H B Curry - 1930
214 An unsolvable problem of elementary number theory – A Church - 1936
184 Combinatory Logic – H B Curry, R Feys - 1958
10 A set of postulates for the foundation of logic (second paper – A Church - 1933
290 The calculi of lambda-conversion – A Church - 1941
408 Can programming be liberated from the von Neumann style? A functional style and its algebra of programs – J Backus - 1978
874 A theory of type polymorphism in programming – Robin Milner - 1978
46 First-class Polymorphism with Type Inference – Mark P. Jones
92 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
55 Type reconstruction in the presence of polymorphic recursion – A J Kfoury, J Tiuryn, P Urzyczyn - 1993