Proof Theoretic Approach To Specification Languages (1995)

by Jawahar Lal Chirimar
Citations:42 - 0 self

Documents Related by Co-Citation

333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
854 A formulation of the simple theory of types – Alonzo Church - 1940
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
101 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
262 Investigations into logical deduction – G Gentzen - 1969
90 Reasoning with higher-order abstract syntax in a logical framework – Raymond C. Mcdowell, Dale A. Miller - 2002
28 A Finitary Version of the Calculus of Partial Inductive Definitions – Lars-henrik Eriksson - 1992
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
46 A Concurrent Logical Framework II: Examples and Applications – Iliano Cervesato, Frank Pfenning, David Walker, Kevin Watkins - 2002
61 Cut-elimination for a logic with definitions and induction – Raymond Mcdowell, Dale Miller - 1997
20 Forum: A multiple-conclusion specification language – D Miller - 1996
86 A Multiple-Conclusion Meta-Logic – Dale Miller - 1994
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
57 Metalogical Frameworks – David A. Basin, Robert L. Constable, Im Stadtwald - 1992
9 A fixpoint theorem in linear logic. A message posted on the mailing list linear@cs.stanford.edu, see http://www.csl.sri.com/linear/mailing-list-traffic/ www/07/mail_3.html – J-Y Girard - 1992
142 A meta-notation for protocol analysis – I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, A. Scedrov - 1999
23 Cut-elimination in logics with definitional reflection – P Schroeder-Heister - 1992