Uniform proofs as a foundation for logic programming (1991)

by Dale Miller , Gopalan Nadathur , Frank Pfenning , Andre Scedrov
Venue:ANNALS OF PURE AND APPLIED LOGIC
Citations:387 - 111 self

Documents Related by Co-Citation

307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
153 A logical analysis of modules in logic programming. The – Dale Miller - 1989
210 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
879 A formulation of the simple theory of types – A Church - 1940
311 Higher-order abstract syntax – Frank Pfenning, Conal Elliott
344 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
273 Investigations into logical deduction – Gerhard Gentzen - 1969
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990