Efficient Representation and Validation of Logical Proofs (1997)

Cached

Download Links

by George C. Necula , Peter Lee
Citations:44 - 6 self

Active Bibliography

60 Efficient Representation and Validation of Proofs – George C. Necula, Peter Lee - 1998
55 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
216 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
56 Unification via Explicit Substitutions: The Case of Higher-Order Patterns – Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning - 1998
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
32 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
8 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
Project Description – We Propose To
23 Nominal logic programming – James Cheney, Christian Urban - 2006
1 The Metalanguage Prolog and Its Implementation – Gopalan Nadathur
2 Automated Techniques for Provably Safe Mobile Code – Karl Crary , Robert Harper, Peter Lee, Frank Pfenning - 2000
3 A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems – Susmit Sarkar, Robert Harper, Peter Lee - 2009
Lightweight Lemmas in ╬╗Prolog (Extended Version) – Andrew W. Appel, Amy P. Felty - 1999
9 Practical higher-order pattern unification with on-the-fly raising – Gopalan Nadathur, Natalie Linnell - 2005
3 Higher-Order Constraint Simplification In Dependent Type Theory – Jason Reed
20 Hybridizing a logical framework – Jason Reed, Karl Crary, Robert Harper - 2006
Des Preuves Incompl`etes Aux – Termes Incomplets, Inria Rocquencourt, Le Chesnay Cedex