Retractions of dI-domains as a model for Type:Type
From MaRDI portal
(Redirected from Publication:805221)
Recommendations
- On functions preserving levels of approximation: A refined model construction for various lambda calculi
- Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
- scientific article; zbMATH DE number 4050971
- scientific article; zbMATH DE number 4027428
- Retraction map categories and their applications to the construction of lambda calculus models
Cites work
- scientific article; zbMATH DE number 3880077 (Why is no real title available?)
- scientific article; zbMATH DE number 4050971 (Why is no real title available?)
- scientific article; zbMATH DE number 3594646 (Why is no real title available?)
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(10)- Categorical models of polymorphism
- 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
- scientific article; zbMATH DE number 1722665 (Why is no real title available?)
- On the building of affine retractions
- scientific article; zbMATH DE number 4050971 (Why is no real title available?)
- 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)
- Forcing in stable models of untyped -calculus
This page was built for publication: Retractions of dI-domains as a model for Type:Type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q805221)
