Active Bibliography

Abstract – Joshua S. Hodas, Dale Miller
Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodes, Dale Miller - 1992
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
87 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
9 An Overview of Linear Logic Programming – Dale Miller - 1985
385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
1165 Proof-Carrying Code – George C. Necula - 1997
Sequent Calculus and the Specification of Computation Lecture Notes – C Dale Miller, Pond Lab - 2001
13 On the specification of sequent systems – Elaine Pimentel, Dale Miller - 2005