Introduction to generalized type systems

Barendregt, H. (1991). Introduction to generalized type systems.

Type

Unclassified

Intellectual base

Unclassified

Year

1991

DOI

10.1017/s0956796800020025

Link

https://doi.org/10.1017/s0956796800020025

Cited by

1 citation across 1 artifact.

Domain-specific

• Typed lambda calculus
  • … syntax, contexts and judgments, variable abstraction and application rules, equality and reduction, substitution lemma, preservation and normalization or expressiveness qualifications 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:26a72c807d9a · see in the full table