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:385 - 111 self

Documents Related by Co-Citation

305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
148 A logical analysis of modules in logic programming – Dale Miller - 1989
208 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
857 A formulation of the simple theory of types – Alonzo Church - 1940
307 Higher-order abstract syntax – F Pfenning, C Elliott
335 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
262 Investigations into logical deductions – Gerhard Gentzen - 1935
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990