Domain theoretic models of polymorphism
type: Item
instance of: scholarly article
title: Domain theoretic models of polymorphism
zbMATH Open document ID: 0683.03007
DOI: 10.1016/0890-5401(89)90068-0
author: Thierry Coquand
author: Glynn Winskel
author: Carl A. Gunter
published in: Information and Computation
publication date: 1989-01-01T00:00:00Z
review text: The authors present a category-theoretic model for polymorphic lambda- calculus. Types are interpreted as Scott domains and types with free type variables as functors on domains. The paper emphasizes the important role Grothendieck fibrations and continuous sections play in the interpretation of polymorphism. The approach is based on examples, many particular constructions are presented so that the ideas are concretely expressed. Finally, the paper presents interesting questions and comparisons with other models for polymorphism.
reviewed by: Gabriel Ciobanu
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 18B35
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 4118336
zbMATH Keywords: indexed category
zbMATH Keywords: category-theoretic model for polymorphic lambda- calculus
zbMATH Keywords: Scott domains
zbMATH Keywords: Grothendieck fibrations
zbMATH Keywords: continuous sections
zbMATH Keywords: polymorphism
MaRDI profile type: Publication
full work available at URL: 0890-5401(89)90068-0
OpenAlex ID: W2131781021
cites work: Q4160405
cites work: Q3216628
cites work: Q3787462
cites work: Q3784072
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Universal profinite domains
cites work: Q3671978
cites work: Q3326830
cites work: An ideal model for recursive polymorphic types
cites work: Q3786612
cites work: Q3216629
cites work: Q4068054
cites work: Q3960746
cites work: Q3959414
cites work: Q3768869
cites work: The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
cites work: Effectively given domains
cites work: The largest Cartesian closed category of domains
cites work: The Category-Theoretic Solution of Recursive Domain Equations
description: scientific article; zbMATH DE number 4118336