Efficient Representation and Validation of Proofs (1998)

Cached

Download Links

by George C. Necula , Peter Lee
Citations:61 - 7 self

Active Bibliography

45 Efficient Representation and Validation of Logical Proofs – George C. Necula, Peter Lee - 1997
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
55 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
56 Unification via Explicit Substitutions: The Case of Higher-Order Patterns – Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning - 1998
5 Automated Techniques for Provably Safe Mobile Code – Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning - 2000
Project Description – We Propose To
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
33 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
2 Automated Techniques for Provably Safe Mobile Code – Karl Crary , Robert Harper, Peter Lee, Frank Pfenning - 2000
7 Elf: A Meta-Language for Deductive Systems (System Description) – Frank Pfenning - 1994
Imagining CLP(Λ,≡αβ) – Olivier Ridoux - 1995
I R I S a – Campus Universitaire De, Olivier Ridoux, Projet Lande - 1994
3 An insider’s look at LF type reconstruction: Everything you (n)ever wanted to know – Brigitte Pientka - 2010
23 Nominal logic programming – James Cheney, Christian Urban - 2006
26 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
1 The Metalanguage Prolog and Its Implementation – Gopalan Nadathur
3 A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems – Susmit Sarkar, Robert Harper, Peter Lee - 2009
3 Eliminating redundancy in higher-order unification: a lightweight approach – Brigitte Pientka - 2006
8 Practical higher-order pattern unification with on-the-fly raising – Gopalan Nadathur, Natalie Linnell - 2005