Documents Related by Co-Citation

41 A proof theory for generic judgments: An extended abstract – Dale Miller, Alwen Tiu - 2003
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
33 A Logical Framework For Reasoning About Logical Specifications – Alwen F. Tiu, Padma Raghavan, Stephen Simpson, Frank Pfenning, Raj Acharya - 2004
61 Cut-elimination for a logic with definitions and induction – Raymond Mcdowell, Dale Miller - 1997
40 A fixpoint theorem in linear logic. An email posting to the mailing list linear@cs.stanford.edu – J-Y Girard - 1992
288 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
857 A formulation of the simple theory of types – Alonzo Church - 1940
307 Higher-order abstract syntax – F Pfenning, C Elliott
445 The Pi-Calculus: a theory of mobile processes – D Sangiorgi, D Walker - 2001