Type Theory, Bibliopolis, 1984

Per Martin-Löf, I. (1984). Type Theory, Bibliopolis, 1984.

Type

Unclassified

Intellectual base

Unclassified

Year

1984

Link

no authoritative link yet

Cited by

2 citations across 2 artifacts.

Domain-specific

• Empty type
  • … rule if any, consistency assumption, negation encoding, nullary coproduct or polymorphic encoding, initial-object property and distinction from bottom type and empty set are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..
• Unit type
  • … A canonical instance directly demonstrates that the type theory and equality convention, canonical inhabitant, uniqueness proof and terminal-object or computational interpretation are explicit. to An applied instance preserves the same invariant under changed scale, notation, jurisdiction, dataset, 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:50ee2996b476 · see in the full table