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
8 Proof search specifications of bisimulation and modal logics for the π-calculus – Alwen Tiu, Dale Miller
The Australian National University – Alwen Tiu, Dale Miller
813 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993