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:374 - 108 self

Document Versions

Uniform proofs as a foundation for logic programming –Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov — 1991 — ANNALS OF PURE AND APPLIED LOGIC
UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING – Dale Miller, Gopalan Nadathur , Frank Pfenning, Andre Scedrov — 1989