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
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
