Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
type: Item
instance of: scholarly article
title: Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
zbMATH Open document ID: 0751.03004
published in: RAIRO - Theoretical Informatics and Applications
publication date: 1992-06-28T00:00:00Z
full work available at URL: https://eudml.org/doc/92409
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03G99
zbMATH DE Number: 36724
zbMATH Keywords: models of \(\lambda\) calculus
zbMATH Keywords: universal retractions
zbMATH Keywords: Scott domain
zbMATH Keywords: polymorphism
author: Chantal Berline
MaRDI profile type: Publication
OpenAlex ID: W2408171097
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Retractions of dI-domains as a model for Type:Type
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q3997016
cites work: Data Types as Lattices
DOI: 10.1051/ITA/1992260100591
description: scientific article; zbMATH DE number 36724