Retractions of dI-domains as a model for Type:Type

DOI10.1016/0890-5401(91)90038-4zbMath0728.68036OpenAlexW2012308246MaRDI QIDQ805221

Stefano Berardi

Publication date: 1991

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(91)90038-4

zbMATH Keywords

functional languagetypingtyped languages

Mathematics Subject Classification ID

Related Items (7)

Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle ⋮ Cartesian closed categories of domains and the space proj(D) ⋮ Categorical models of polymorphism ⋮ Forcing in stable models of untyped \(\lambda\)-calculus ⋮ On functions preserving levels of approximation: A refined model construction for various lambda calculi ⋮ Building continuous webbed models for system F ⋮ A full continuous model of polymorphism

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• The system \({\mathcal F}\) of variable types, fifteen years later
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Retractions of dI-domains as a model for Type:Type