Active Bibliography

3 Encoding Generic Judgments – Dale Miller, Alwen Tiu, Ècole Polytechnique - 2002
46 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
38 A proof theory for generic judgments: An extended abstract – Dale Miller, Alwen Tiu - 2003
19 A Proof Search Specification of the π-Calculus – Alwen Tiu, Dale Miller - 2004
The Australian National University – Alwen Tiu, Dale Miller
145 Higher-order logic programming – Gopalan Nadathur, Dale Miller
Reasoning About Logic Programs Using Definitions And Induction – Jeremie Wajs, J. Hannan - 2002
3 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
6 Representing and reasoning with operational semantics – Dale Miller - 2006
8 On the specification of sequent systems – Elaine Pimentel, Dale Miller, Minas Gerais, Belo Horizonte, M. G. Brasil - 2005
5 An Overview of Linear Logic Programming – Dale Miller - 1985
56 Cut-elimination for a logic with definitions and induction – Raymond Mcdowell, Dale Miller - 1997
283 Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract – Joshua S. Hodas, Dale Miller - 1991
Trustworthy Translation for the Requirements State Machine Language without Events – Michael William Whalen - 2005
Substructural Logical Specifications – Robert J. Simmons, Robert Harper, André Platzer - 2012
6 A Logic for Reasoning with Higher-Order Abstract Syntax – Raymond Mcdowell, Dale Miller
12 Mixing finite success and finite failure in an automated prover – Alwen Tiu, Gopalan Nadathur, Dale Miller - 2005