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

Cached

Download Links

by Henk Barendregt
Citations:24 - 0 self

Documents Related by Co-Citation

474 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – J E STOY - 1977
851 A formulation of the simple theory of types – Alonzo Church - 1940
731 Notions of Computation and Monads – Eugenio Moggi - 1991
1416 Unified theories of cognition – A Newell - 1990
759 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
1311 Monads for functional programming – Philip Wadler - 1995
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
725 The knowledge level – A Newell - 1982
760 SOAR: an architecture for general intelligence – J E Laird, N Allen, P S Rosenbloom - 1987