scientific article; zbMATH DE number 2087441

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2303/23030342.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Related Items (70)

Normalization by evaluation and algebraic effects ⋮ Stream processors and comodels ⋮ Observationally-induced algebras in domain theory ⋮ Modular structural operational semantics ⋮ Algebras for Parameterised Monads ⋮ Freyd categories are enriched Lawvere theories ⋮ Runners in Action ⋮ On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Weakest preconditions in fibrations ⋮ Combining algebraic effect descriptions using the tensor of complete lattices ⋮ Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies ⋮ Bimonoidal structure of probability monads ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Lawvere theories enriched over a general base ⋮ A Nominal Relational Model for Local Store ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ A principled approach to programming with nested types in Haskell ⋮ Reflections on Monadic Lenses ⋮ Finitary monads on the category of posets ⋮ Generic models for computational effects ⋮ Discrete Lawvere theories and computational effects ⋮ Combining algebraic effects with continuations ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ Fusion for Free ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ Monad transformers as monoid transformers ⋮ When programs have to watch paint dry ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Efficient algebraic effect handlers for Prolog ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Hypernormalisation in an abstract setting ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Doo bee doo bee doo ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Structured handling of scoped effects ⋮ An algebraic theory for shared-state concurrency ⋮ Graded algebraic theories ⋮ Local local reasoning: a BI-hyperdoctrine for full ground store ⋮ No value restriction is needed for algebraic effects and handlers ⋮ A relational realizability model for higher-order stateful ADTs ⋮ Unnamed Item ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Unnamed Item ⋮ Programming with algebraic effects and handlers ⋮ Complete Elgot monads and coalgebraic resumptions ⋮ Fully abstract trace semantics for protected module architectures ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ Infinite trace equivalence ⋮ Logic programming: laxness and saturation ⋮ Global State Considered Helpful ⋮ Tensors of Comodels and Models for Operational Semantics ⋮ Anatomy of a domain of continuous random variables. I ⋮ Comparing free algebras in topological and classical domain theory ⋮ Anatomy of a Domain of Continuous Random Variables II ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness ⋮ Combining effects: sum and tensor ⋮ Unnamed Item ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ Stateful runners of effectful computations ⋮ Unnamed Item ⋮ Dependent Types and Fibred Computational Effects ⋮ Towards a Formal Theory of Graded Monads ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ A Probability Monad as the Colimit of Spaces of Finite Samples ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads ⋮ Algebraic presentation of semifree monads

This page was built for publication: