(untitled)

Nadathur, G., & Dale Miller, A. O. o. L. P. (1988). (untitled).

Type

Unclassified

Intellectual base

Unclassified

Year

1988

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• ΛProlog
  • … demonstrates that programs use the declared higher-order hereditary Harrop logic, typed lambda terms, scoped implication and quantification, and the supported higher-order unification discipline. to An applied instance preserves the same invariant under a changed notation, scale, implementation, or empirical setting..

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:34f665cb3969 · see in the full table