Lambda Calculus with Types

Henk Barendregt, W. D., & Statman, R. (2013). Lambda Calculus with Types. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

2013

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Intersection type
  • … identity and a convenient observable transfers from A canonical case directly satisfies that a term must satisfy each intersected type under the same environment and the system’s subtyping and equality rules. to An applied case preserves the same condition while changing incidental scale, notation, 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:ccf6cc51d479 · see in the full table