Modern Perspectives in Type-Theoretical Semantics

Stergios Chatzikyriakidis, Z. L. (2017). Modern Perspectives in Type-Theoretical Semantics. Springer.

Type

Book chapter

Intellectual base

Review or monograph

Year

2017

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Type theory
  • … definitional equality, typing derivations and metatheorems, propositions-as-types interpretation, semantic model and specific type-theory variant and foundational or programming use are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, 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:c0a1390b1022 · see in the full table