A Multiple-Conclusion Meta-Logic (1994)

by Dale Miller
Venue:In Proceedings of 9th Annual IEEE Symposium On Logic In Computer Science
Citations:86 - 7 self

Active Bibliography

85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
Linear Logic as Logic Programming: An Abstract? – Dale Miller
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
7 Higher-Order Quantification and Proof Search – Dale Miller - 2002
13 On the specification of sequent systems – Elaine Pimentel, Dale Miller - 2005
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
2 Observations About Using Logic as a Specification Language – Dale Miller - 1995
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
2 A formal framework for specifying sequent calculus proof systems – Dale Miller , Elaine Pimentel - 2012
5 A framework for proof systems – Vivek Nigam, Dale Miller
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
3 A Linear Logic Specification for Chimera – Marco Bozzano, Giorgio Delzanno, Maurizio Martelli - 1997
19 Higher Order Logic – Daniel Leivant - 1994
4 A Survey of Linear Logic Programming – Dale Miller - 1995
7 An Overview of Linear Logic Programming – Dale Miller - 1985
7 Encryption as an abstract data-type: An extended abstract – Dale Miller - 2003
Noname manuscript No. – Vivek Nigam
4 Proof Procedures for Logic Programming – Donald W. Loveland, Donald W. Loveland, Gopalan Nadathur, Gopalan Nadathur - 1994