The constructive engine

Huet, G. (1989). The constructive engine. A Perspective in Theoretical Computer Science.

Type

Book chapter

Intellectual base

Review or monograph

Year

1989

DOI

10.1142/9789814368452_0004

ISBN

9789971509255

Link

https://doi.org/10.1142/9789814368452_0004

Cited from

philosophy

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Deductive Reasoning
  • Formal verification

    This sourceWorld Scientific. Describes a proof-checker (abstract machine) for the Calculus of Constructions implemented in CAML, used to mechanically verify proofs. WebSearch confirmed the CoC proof-checker / CAML implementation.

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