Investigations into intensional type theory

Streicher, T. (1993). Investigations into intensional type theory.

Type

Unclassified

Intellectual base

Unclassified

Year

1993

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Identity type
  • … transfers from A canonical instance directly demonstrates that the type is formed over two terms of the same carrier type and its introduction and elimination follow the declared identity-type rules. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, or 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:3ac37f797ae7 · see in the full table