Completeness Results for . . . (2006)

Cached

Download Links

by Mark Kaminski

Active Bibliography

18 Higher Order Logic – Daniel Leivant - 1994
Strong Normalization of Call-By-Push-Value – Christian Doczkal - 2007
19 The Seven Virtues of Simple Type Theory – William M. Farmer - 2003
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
1 Collections, Sets and Types – Gilles Dowek - 1995
10 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
Model Existence for Higher Order Logic – Christoph Benzm├╝ller, Michael Kohlhase - 2000
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
21 Proof Transformations in Higher-Order Logic – Frank Pfenning - 1987
6 On the Translation of Higher-Order Problems into First-Order Logic – Manfred Kerber, Manfred Kerber - 1994
1 Declarative Programming for Agent Applications – J. W. Lloyd, K. S. Ng
5 HOT: A Concurrent Automated Theorem Prover based on Higher-Order Tableaux – Karsten Konrad - 1998
Introduction to Type Theory – Erik Barendsen - 2005
Kripke Models and the (in)equational Logic of the Second-Order Lambda-Calculus – Jean Gallier - 1995
4 On statman's finite completeness theorem – Richard Statman, Gilles Dowek - 1992
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
Type Theory for Programming Languages – Robert Harper - 1994