scientific article
From MaRDI portal
Publication:3787462
zbMath0644.68041MaRDI QIDQ3787462
Glynn Winskel, Thierry Coquand, Carl A. Gunter
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polymorphismdenotational semanticsdI-domainspolymorphic \(\lambda \)-calculusprime event structurerepresentational description
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (22)
A generalized Kahn Principle for abstract asynchronous networks ⋮ Prime algebraicity ⋮ Algebraic domains of natural transformations ⋮ Causality and true concurrency: A data-flow analysis of the Pi-Calculus ⋮ A functorial semantics for observed concurrency ⋮ Types, abstraction, and parametric polymorphism, part 2 ⋮ Domain interpretations of Martin-Löf's partial type theory ⋮ Inheritance as implicit coercion ⋮ Universal homogeneous event structures and domains ⋮ The largest cartesian closed category of stable domains ⋮ On maximal stable functions ⋮ Stable domains are generalized topological spaces ⋮ On stable domains ⋮ A partial solution to an open problem of Amadio and Curien ⋮ Categories of embeddings ⋮ Functorial polymorphism ⋮ On functions preserving levels of approximation: A refined model construction for various lambda calculi ⋮ Domain theoretic models of polymorphism ⋮ Building continuous webbed models for system F ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin ⋮ The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus ⋮ Retractions of dI-domains as a model for Type:Type
This page was built for publication:
