Hereditary Harrop Formulas and Uniform Proof Systems

Dale Miller, G. N., Pfenning, F., & Scedrov, A. (1987). Hereditary Harrop Formulas and Uniform Proof Systems. Proceedings of the Second Annual Symposium on Logic in Computer Science, 98-105.

Type

Conference paper

Intellectual base

Primary research

Year

1987

Link

https://www.lix.polytechnique.fr/~dale/papers/clmps1987.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Harrop Formula
  • Related hereditary Harrop formulas extend Horn-clause programming with embedded implications, universal goals, and higher-order structure; they underlie languages such as \(\lambda\)Prolog.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:7776748e1f21 · see in the full table