Documents Related by Co-Citation

315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
32 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996
81 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
85 Pattern matching with dependent types – Thierry Coquand - 1992
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
83 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
50 A symmetric modal lambda calculus for distributed computing – Tom Murphy, VII, Karl Crary, Robert Harper, Frank Pfenning - 2004
87 Toward a Foundational Typed Assembly Language – Karl Crary - 2002
21 Modal logic as a basis for distributed computation – Jonathan Moody - 2003
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
47 A type-theoretic foundation for programming with higher-order abstract syntax and firstclass substitutions – B Pientka - 2008
18 Modal proofs as distributed programs – Limin Jia, David Walker - 2003
10 A constructive logic for services and information flow in computer networks. The computer journal – Tijn Borghuis, Loe Feijs - 2000