Uniform proofs as a foundation for logic programming

1991/03/01 by Dale Miller, Gopalan Nadathur, Frank Pfenning +1 · 3 citations

paper · doi:10.1016/0168-0072(91)90068-w

Cited by

• From Phase Semantics to Base-extension Semantics (and back)
• CoLF Logic Programming as Infinitary Proof Exploration
• Logic programming [wikipedia]