Domain theoretic models of polymorphism

DOI10.1016/0890-5401(89)90068-0MaRDI QIDQ1824612zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Glynn Winskel, Carl A. Gunter

Publication date 1989

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

Full work available at URL https://doi.org/10.1016/0890-5401(89)90068-0

zbMATH Keywords

polymorphismScott domainsindexed categorycontinuous sectionscategory-theoretic model for polymorphic lambda- calculusGrothendieck fibrations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• scientific article; zbMATH DE number 4027427
• scientific article; zbMATH DE number 517052
• scientific article; zbMATH DE number 937388
• Domain-theoretical models of parametric polymorphism
• scientific article; zbMATH DE number 4027428

Cites work

• scientific article; zbMATH DE number 3882403 (Why is no real title available?)
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 4027427 (Why is no real title available?)
• scientific article; zbMATH DE number 4047723 (Why is no real title available?)
• scientific article; zbMATH DE number 4049849 (Why is no real title available?)
• scientific article; zbMATH DE number 4050971 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3783068 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• An ideal model for recursive polymorphic types
• Effectively given domains
• The Category-Theoretic Solution of Recursive Domain Equations
• The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
• The largest Cartesian closed category of domains
• The system \({\mathcal F}\) of variable types, fifteen years later
• Universal profinite domains

Cited in

(42)

• Functorial polymorphism
• A domain model characterising strong normalisation
• Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
• scientific article; zbMATH DE number 517052 (Why is no real title available?)
• Models for polymorphism over physical dimension
• Computer Science Logic
• An adequacy theorem for dependent type theory
• Types, abstraction, and parametric polymorphism, part 2
• A domain-theoretic semantics of lax generic functions.
• Term graph rewriting and garbage collection using opfibrations
• Quantitative domains and infinitary algebras
• Domain interpretations of Martin-Löf's partial type theory
• Extensional models for polymorphism
• Semantics of the second order lambda calculus
• An algebraic approach to stable domains
• Polymorphic lambda calculus and subtyping.
• scientific article; zbMATH DE number 2102746 (Why is no real title available?)
• Domain-theoretical models of parametric polymorphism
• From parametric polymorphism to models of polymorphic FPC
• scientific article; zbMATH DE number 4027427 (Why is no real title available?)
• scientific article; zbMATH DE number 4035777 (Why is no real title available?)
• The dependent product construction in various categories of domains
• Inheritance as implicit coercion
• Recursion over realizability structures
• The semantics of second-order lambda calculus
• A natural semantics of first-order type dependency
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• Building continuous webbed models for system F
• A full continuous model of polymorphism
• Alpha conversion, conditions on variables and categorical logic
• scientific article; zbMATH DE number 1531357 (Why is no real title available?)
• Categorical data types in parametric polymorphism
• Categorical models of polymorphism
• Adequacy for a lazy functional language with recursive and polymorphic types
• Some economic applications of Scott domains
• Polymorphism and the obstinate circularity of second order logic: a victims' tale
• scientific article; zbMATH DE number 4050971 (Why is no real title available?)
• Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
• The shuffle Hopf algebra and noncommutative full completeness
• Some reasons for generalising domain theory
• scientific article; zbMATH DE number 4154448 (Why is no real title available?)
• A higher-order calculus and theory abstraction

This page was built for publication: Domain theoretic models of polymorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1824612)