scientific article; zbMATH DE number 4050971

MaRDI QIDQ3787462zbMATH OpenFDO

Authors Thierry Coquand, Carl A. Gunter, Glynn Winskel

Publication date 1988

zbMATH Keywords

denotational semanticsdI-domainspolymorphic \(\lambda \)-calculuspolymorphismprime event structurerepresentational description

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Domain theoretic models of polymorphism
• Domain-theoretical models of parametric polymorphism
• Categories of embeddings
• Retractions of dI-domains as a model for Type:Type
• Quantitative domains and infinitary algebras

Cited in

(24)

• Inheritance as implicit coercion
• Universal homogeneous event structures and domains
• Categories of embeddings
• On functions preserving levels of approximation: A refined model construction for various lambda calculi
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• Algebraic domains of natural transformations
• Representations in polydomains.
• A partial solution to an open problem of Amadio and Curien
• Domain theoretic models of polymorphism
• Building continuous webbed models for system F
• Multiproperty-Preserving Domain Extension Using Polynomial-Based Modes of Operation
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus
• A functorial semantics for observed concurrency
• A generalized Kahn Principle for abstract asynchronous networks
• Types, abstraction, and parametric polymorphism, part 2
• The largest cartesian closed category of stable domains
• On maximal stable functions
• Stable domains are generalized topological spaces
• On stable domains
• Functorial polymorphism
• Retractions of dI-domains as a model for Type:Type
• Prime algebraicity
• Domain interpretations of Martin-Löf's partial type theory

This page was built for publication:

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