Active Bibliography

The Australian National University – Alwen Tiu, Dale Miller
7 Proof search specifications of bisimulation and modal logics for the π-calculus – Alwen Tiu, Dale Miller
7 Representing and reasoning with operational semantics – Dale Miller - 2006
60 A Proof Theory for Generic Judgments – Dale Miller, Alwen Tiu - 2003
41 A proof theory for generic judgments: An extended abstract – Dale Miller, Alwen Tiu - 2003
14 Mixing finite success and finite failure in an automated prover – Alwen Tiu, Gopalan Nadathur, Dale Miller - 2005
3 Encoding Generic Judgments – Dale Miller, Alwen Tiu, Ècole Polytechnique - 2002
23 Nominal logic programming – James Cheney, Christian Urban - 2006
2 The Representational Adequacy of HYBRID – R. L. Crole
15 Model checking for π-calculus using proof search – Alwen Tiu - 2005
12 Consistency of the Theory of Contexts – Anna Bucalo, Martin Hofmann, Furio Honsell, Marino Miculan, Ivan Scagnetto - 2001
3 Cut elimination for a logic with generic judgments and induction – Alwen Tiu - 2008
4 Nominal Abstraction – Andrew Gacek, Dale Miller , Gopalan Nadathur - 2009
5 A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle – A. Momigliano, S. J. Ambler, R. L. Crole - 2001
Reasoning about Computations Using Two-Levels of Logic – Dale Miller
14 Combining generic judgments with recursive definitions – Andrew Gacek, Dale Miller, Gopalan Nadathur
153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
11 Foundational Aspects of Syntax – Dale Miller, Catuscia Palamidessi - 1999