Logics and Type Systems (1993)

Cached

Download Links

by Jan Herman Geuvers , Herman Geuvers , Cover Jean , Bernard Koeman , Cip-gegevens Koninklijke Bibliotheek , Den Haag , Geuvers Jan Herman
Citations:85 - 5 self

Active Bibliography

6 The Calculus of Constructions and Higher Order Logic – Herman Geuvers - 1992
The Church-Rosser Property for . . . – Herman Geuvers - 1992
16 A short and flexible proof of Strong Normalization for the Calculus of Constructions – Herman Geuvers - 1994
10 Pure Type Systems in Rewriting Logic – Mark-Oliver Stehr, José Meseguer - 1999
4 Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework – Mark-oliver Stehr - 2004
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
1 Usability: Formalising (un)definedness in Typed Lambda Calculus – Jan Kuper
3 Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems – Fairouz Kamareddine - 2001
18 The maximality of the typed lambda calculus and of cartesian closed categories – Zoran Petrić
Checking Textbook Proofs – Claus Zinn - 1998
7 Making Formality Work For Us – Roland Backhouse, Rijksuniversiteit Groningen - 1989
1 Computer Theorem Proving in Math – Carlos Simpson
3 Verifying Textbook Proofs – Claus Zinn - 1998
1 Towards the Mechanical Verification of Textbook Proofs – Claus Zinn
2 Towards a formal mathematical vernacular – Jan Friso Groote - 1992
1 Ω-MKRP: A Proof Development Environment – Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann - 1994
16 Mechanizing set theory: Cardinal arithmetic and the axiom of choice – Lawrence C. Paulson, Krzysztof Grabczewski - 1996
1 Pure Type Systems with de Bruijn indices – Fairouz Kamareddine, Alejandro Rios