Axiomatic Domain Theory in Categories of Partial Maps
From MaRDI portal
Publication:4396180
DOI10.1017/CBO9780511526565zbMath0979.68549OpenAlexW4211080362MaRDI QIDQ4396180
Publication date: 14 June 1998
Full work available at URL: https://doi.org/10.1017/cbo9780511526565
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (24)
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Computational adequacy for recursive types in models of intuitionistic set theory ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Coalgebraic Representation Theory of Fractals ⋮ A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ An equational notion of lifting monad ⋮ Presheaf models for CCS-like languages ⋮ A fully abstract model for the \(\pi\)-calculus. ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Domain-theoretical models of parametric polymorphism ⋮ Games and Definability For FPC ⋮ Two models of synthetic domain theory ⋮ Domains in \(H\) ⋮ From parametric polymorphism to models of polymorphic FPC ⋮ Structural induction and coinduction in a fibrational setting ⋮ Unnamed Item ⋮ List Objects with Algebraic Structure ⋮ Coalgebras and monads in the semantics of Java ⋮ Games and full abstraction for FPC. ⋮ A Convenient Category of Domains ⋮ The Bicategory-Theoretic Solution of Recursive Domain Equations ⋮ Combining a monad and a comonad ⋮ Premonoidal categories as categories with algebraic structure ⋮ Fixpoint operators for domain equations
This page was built for publication: Axiomatic Domain Theory in Categories of Partial Maps
