Kripke-Style Models for Typed Lambda Calculus (1996)

Cached

Download Links

by John C. Mitchell , Eugenio Moggi
Venue:Annals of Pure and Applied Logic
Citations:44 - 3 self

Active Bibliography

103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
Kripke Models and the (in)equational Logic of the Second-Order Lambda-Calculus – Jean Gallier - 1995
Topological Representation of the &ambda;-Calculus – S. Awodey - 1998
1 Algebraic Reasoning and Completeness in Typed Languages – Jon G. Riecke, Ramesh Subrahmanyam - 1992
2 A Category-theoretic characterization of functional completeness – Giuseppe Longo, Eugenio Moggi - 1990
11 A Characterization Of Lambda Definability In Categorical Models Of Implicit Polymorphism – Moez Alimohamed - 1995
Completeness Results for . . . – Mark Kaminski - 2006
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli countermodels. – James Lipton, Lauchli Countermodels, Michael J. O'donnell - 1996
1 Intuitive Counterexamples for Constructive Fallacies – James Lipton, Michael J. O'donnell - 1994
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
10 Categorical Completeness Results for the Simply-Typed Lambda-Calculus – Alex K. Simpson - 1995
2 Course Notes in Typed Lambda Calculus – Thierry Coquand - 1998
35 Semantics of Local Variables – P.W. O'Hearn, R. D. Tennent - 1992
TYPES, SETS AND CATEGORIES – John L. Bell
4 Higher-Order Categorical Grammars – Carl Pollard
7 Managing Structural Information by Higher-Order Colored Unification – Dieter Hutter, Michael Kohlhase - 1999
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
Abstraction-Based Genetic Programming By – Franck J. L. Binard
23 Domain theory for concurrency – Mikkel Nygaard - 2003