Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
64 Structural Cut Elimination – Frank Pfenning - 1995
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
32 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996
9 A formulation of the simple type theory of types – A Church - 1940
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
55 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
35 Higher-Order Rewriting with Dependent Types – Roberto Virga, Theviewsandconclusionscontainedinthisdocumentarethoseoftheauthorandshouldnotbeinterpretedas Thisrese - 1999
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
33 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
41 Compiler Verification in LF – John Hannan, Frank Pfenning - 1992
1097 Proof-Carrying Code – George C. Necula - 1997
26 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
7 A proof-theoretic foundation for tabled higher-order logic programming – Brigitte Pientka - 2002
90 Reasoning with higher-order abstract syntax in a logical framework – Raymond C. Mcdowell, Dale A. Miller - 2002