Documents Related by Co-Citation

634 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
281 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
172 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
9 A formulation of the simple type theory of types – A Church - 1940
272 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
55 Structural Cut Elimination – Frank Pfenning - 1995
29 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996
1497 The Definition of Standard ML – R Milner, M Tofte, R Harper - 1990
334 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
203 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
573 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
58 Intersection Types and Computational Effects – Rowan Davies, Frank Pfenning - 2000
269 Higher-order abstract syntax – Frank Pfenning, Conal Elliott - 1988
39 Compiler Verification in LF – John Hannan, Frank Pfenning - 1992
25 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
78 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
6 A proof-theoretic foundation for tabled higher-order logic programming – Brigitte Pientka - 2002
10 Two-level meta-reasoning in Coq – Amy P Felty
84 Reasoning with higher-order abstract syntax in a logical framework – R McDowell, D Miller - 2002