Active Bibliography

65 A Proof Theory for Generic Judgments – Dale Miller, Alwen Tiu - 2003
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
3 Encoding Generic Judgments – Dale Miller, Alwen Tiu, Ècole Polytechnique - 2002
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
4 Abella: A system for reasoning about relational specifications – David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Yuting Wang
8 Proof search specifications of bisimulation and modal logics for the π-calculus – Alwen Tiu, Dale Miller
The Australian National University – Alwen Tiu, Dale Miller
43 A proof theory for generic judgments: An extended abstract – Dale Miller, Alwen Tiu - 2003
813 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996