Documents Related by Co-Citation

41 A proof theory for generic judgments: An extended abstract – Dale Miller, Alwen Tiu - 2003
33 A Logical Framework For Reasoning About Logical Specifications – Alwen F. Tiu, Padma Raghavan, Stephen Simpson, Frank Pfenning, Raj Acharya - 2004
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
40 A fixpoint theorem in linear logic. An email posting to the mailing list linear@cs.stanford.edu – J-Y Girard - 1992
61 A Proof Theory for Generic Judgments – Dale Miller, Alwen Tiu - 2003
61 Cut-elimination for a logic with definitions and induction – Raymond Mcdowell, Dale Miller - 1997
23 Induction and co-induction in sequent calculus – Alwen Tiu, Alberto Momigliano - 2003
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
15 Model checking for π-calculus using proof search – Alwen Tiu - 2005
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001
33 Encoding Transition Systems in Sequent Calculus – Raymond Mcdowell, Dale Miller, Catuscia Palamidessi - 1996
65 A theory of bisimulation for the π-calculus – A Tiu, D Miller Sangiorgi, D - 1996
68 A proof-theoretic approach to logic programming. II. Programs as definitions – L Hallnäs, P Schroeder-Heister - 1991
854 A formulation of the simple theory of types – Alonzo Church - 1940
16 A congruence format for name-passing calculi – Axelle Ziegler, Dale Miller, Catuscia Palamidessi - 2005
57 Rules of definitional reflection – Peter Schroeder-heister, Universität Tübingen - 1993
28 Abstract syntax for variable binders: An overview – D Miller
207 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002