|
44
|
Efficient Representation and Validation of Logical Proofs
– George C. Necula, Peter Lee
- 1997
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
53
|
Oracle-Based Checking of Untrusted Software
– George C. Necula, S.P. Rahul
- 2001
|
|
51
|
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
|
|
27
|
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
|
|
|
Imagining
– Clp Olivier Ridoux, Olivier Ridoux, Olivier Ridoux, Projet Lande
|
|
|
I R I S a
– Campus Universitaire De, Olivier Ridoux, Projet Lande
- 1994
|
|
25
|
Tabled Higher-Order Logic Programming
– Brigitte Pientka
- 2003
|
|
2
|
A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems
– Susmit Sarkar, Robert Harper, Peter Lee
- 2009
|
|
1
|
Eliminating redundancy in higher-order unification: a lightweight approach
– Brigitte Pientka
- 2006
|
|
5
|
Practical higher-order pattern unification with on-the-fly raising
– Gopalan Nadathur, Natalie Linnell
- 2005
|
|
2
|
An insider’s look at LF type reconstruction: Everything you (n)ever wanted to know
– Brigitte Pientka
- 2010
|
|
3
|
Higher-Order Constraint Simplification In Dependent Type Theory
– Jason Reed
|
