Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle

DOI10.1051/ITA/1992260100591zbMath0751.03004OpenAlexW2408171097MaRDI QIDQ3991293

Chantal Berline

Publication date: 28 June 1992

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92409

zbMATH Keywords

polymorphismScott domainuniversal retractionsmodels of \(\lambda\) calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Algebraic logic (03G99) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Building continuous webbed models for system F ⋮ A full continuous model of polymorphism

Cites Work

• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Retractions of dI-domains as a model for Type:Type
• The system \({\mathcal F}\) of variable types, fifteen years later
• Data Types as Lattices

This page was built for publication: Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle