Documents Related by Co-Citation

61 Cut-elimination for a logic with definitions and induction – Raymond Mcdowell, Dale Miller - 1997
90 Reasoning with higher-order abstract syntax in a logical framework – Raymond C. Mcdowell, Dale A. Miller - 2002
40 A fixpoint theorem in linear logic. An email posting to the mailing list linear@cs.stanford.edu – J-Y Girard - 1992
41 A proof theory for generic judgments: An extended abstract – Dale Miller, Alwen Tiu - 2003
101 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
33 A Logical Framework For Reasoning About Logical Specifications – Alwen F. Tiu, Padma Raghavan, Stephen Simpson, Frank Pfenning, Raj Acharya - 2004
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
124 Unification under a mixed prefix – Dale Miller - 1992
142 A meta-notation for protocol analysis – I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, A. Scedrov - 1999
854 A formulation of the simple theory of types – Alonzo Church - 1940
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
21 A Proof Search Specification of the π-Calculus – Alwen Tiu, Dale Miller - 2004
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
57 Rules of definitional reflection – Peter Schroeder-heister, Universität Tübingen - 1993
23 Induction and co-induction in sequent calculus – Alwen Tiu, Alberto Momigliano - 2003
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
61 A Proof Theory for Generic Judgments – Dale Miller, Alwen Tiu - 2003