Active Bibliography

3 Encoding Generic Judgments – Dale Miller, Alwen Tiu, Ècole Polytechnique - 2002
61 A Proof Theory for Generic Judgments – Dale Miller, Alwen Tiu - 2003
4 A Survey of Linear Logic Programming – Dale Miller - 1995
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
41 A proof theory for generic judgments: An extended abstract – Dale Miller, Alwen Tiu - 2003
21 A Proof Search Specification of the π-Calculus – Alwen Tiu, Dale Miller - 2004
The Australian National University – Alwen Tiu, Dale Miller
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
Reasoning About Logic Programs Using Definitions And Induction – Jeremie Wajs, J. Hannan - 2002
6 Lógica Linear E a Especificação De Sistemas Computacionais – Elaine Gouvea Pimentel, Elaine Gouvea Pimentel, Orientador Prof, Minas Gerais Belo, Horizonte M. G. Brasil, Co-orientador Prof, Dale Miller - 2001
7 Representing and reasoning with operational semantics – Dale Miller - 2006
13 On the specification of sequent systems – Elaine Pimentel, Dale Miller - 2005
7 An Overview of Linear Logic Programming – Dale Miller - 1985
61 Cut-elimination for a logic with definitions and induction – Raymond Mcdowell, Dale Miller - 1997
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
1 Trustworthy Translation for the Requirements State Machine Language without Events – Michael William Whalen - 2005
3 Substructural Logical Specifications – Robert J. Simmons, Robert Harper, André Platzer - 2012
7 A Logic for Reasoning with Higher-Order Abstract Syntax – Raymond Mcdowell, Dale Miller
81 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000