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

Documents Related by Co-Citation

471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
854 A formulation of the simple theory of types – Alonzo Church - 1940
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
99 A Set of Postulates for the Foundation of Logic – A Church - 1932
1312 Monads for functional programming – Philip Wadler - 1995
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
283 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
183 Introduction to Lambda Calculus – Henk Barendregt, Erik Barendsen - 1994
208 Modal Logics – R Feys - 1965
320 The Calculi of LambdaConversion – Alonzo Church - 1941