Documents Related by Co-Citation

71 Cut-elimination for a logic with definitions and induction – Raymond Mcdowell, Dale Miller - 1997
314 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
1127 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
103 Reasoning with higher-order abstract syntax in a logical framework – Raymond McDowell, Dale Miller - 2008
949 A Formulation of the Simple Theory of Types – Alonzo Church - 1940
43 A fixpoint theorem in linear logic. An email posting to the mailing list linear@cs.stanford.edu – Jean-Yves Girard - 1992
39 A Logical Framework For Reasoning About Logical Specifications – Alwen F. Tiu, Padma Raghavan, Stephen Simpson, Frank Pfenning, Raj Acharya - 2004
56 A proof theory for generic judgments: An extended abstract – Dale Miller, Alwen Tiu - 2003
410 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991