Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
313 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
79 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
33 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
302 Higher-order abstract syntax – F Pfenning, C Elliot - 1988
85 Pattern matching with dependent types – Thierry Coquand - 1992
46 A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions – Brigitte Pientka - 2008
206 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
83 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
287 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
87 Toward a Foundational Typed Assembly Language – Karl Crary - 2002
56 Unification via Explicit Substitutions: The Case of Higher-Order Patterns – Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning - 1998
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
13 Termination and Reduction Checking for Higher-Order Logic Programs – Brigitte Pientka
23 The ∇-calculus. Functional programming with higher-order encodings – Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat - 2005
26 Practical programming with higher-order encodings and dependent types – Adam Poswolsky, Carsten Schürmann - 2008
52 Structural Cut Elimination - I. Intuitionistic and Classical Logic – Frank Pfenning - 2000
34 Higher-Order Rewriting with Dependent Types – Roberto Virga, Theviewsandconclusionscontainedinthisdocumentarethoseoftheauthorandshouldnotbeinterpretedas Thisrese - 1999