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

Cached

Download Links

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:23 - 0 self

Documents Related by Co-Citation

471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
99 A Set of Postulates for the Foundation of Logic – A Church - 1932
13 A Library of High Level Control Operators – Christian Queinnec - 1993
4 Symbolic knowledge processing for he acquisition of expert behavior: A study in medicine – Alain Rappaport, Jean-Marie C Chauvet - 1984
49 Controlling Effects – Andrzej Filinski - 1996
37 Hayes-Roth (Eds.), Pattern-directed inference systems – Waterman, F
730 Notions of Computation and Monads – Eugenio Moggi - 1991
1397 Unified theories of cognition – A Newell - 1990
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
130 Representing Monads – Andrzej Filinski - 1994
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
854 A formulation of the simple theory of types – Alonzo Church - 1940
129 OPS5 user's manual – C L FORGY - 1981
1312 Monads for functional programming – Philip Wadler - 1995
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
283 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
265 An unsolvable problem of elementary number theory – A Church - 1936
2 to Toposes, Triples and Theories, Available by anonymous FTP from triples.math.mcgill.ca in directory pub/barr – Corrections - 1993
2 and composable continuations – Monads - 1994