Active Bibliography

153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
7 An Overview of Linear Logic Programming – Dale Miller - 1985
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
13 On the specification of sequent systems – Elaine Pimentel, Dale Miller - 2005
2 A formal framework for specifying sequent calculus proof systems – Dale Miller , Elaine Pimentel - 2012
84 Modularity In Logic Programming – Michele Bugliesi, Evelina Lamma, Paola Mello - 1993
3 A Proposal for Modules in λProlog – Dale Miller - 1993
4 A Proposal for Modules in λProlog – Dale Miller - 1993
61 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
16 Linear Logic and Computation: A Survey – Andre Scedrov - 1993
86 A Multiple-Conclusion Meta-Logic – Dale Miller - 1994
4 A Survey of Linear Logic Programming – Dale Miller - 1995
A Proposal for Modules in λProlog: Preliminary Draft – Dale Miller
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
The Australian National University – Alwen Tiu, Dale Miller
8 Proof search specifications of bisimulation and modal logics for the π-calculus – Alwen Tiu, Dale Miller
Focusing and Polarization in Linear, Intuitionistic, and Classical Logics – Chuck Liang A, Dale Miller B