scientific article
From MaRDI portal
Publication:2851544
zbMath1273.68213MaRDI QIDQ2851544
A. John Power, Gordon D. Plotkin
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104050893
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
Observationally-induced algebras in domain theory ⋮ Freyd categories are enriched Lawvere theories ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Lawvere theories enriched over a general base ⋮ Observationally-induced Effects in Cartesian Closed Categories ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Generic models for computational effects ⋮ Metric monads ⋮ Combining algebraic effects with continuations ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Duoidally enriched Freyd categories ⋮ Backtracking with cut via a distributive law and left-zero monoids ⋮ Unnamed Item ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra ⋮ Observationally-induced lower and upper powerspace constructions ⋮ Presenting Dcpos and Dcpo Algebras ⋮ Tensors of Comodels and Models for Operational Semantics ⋮ Modularity and Implementation of Mathematical Operational Semantics ⋮ Comparing free algebras in topological and classical domain theory ⋮ VDM semantics of programming languages: Combinators and monads ⋮ Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions ⋮ Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ On the construction of free algebras for equational systems ⋮ A Convenient Category of Domains ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads ⋮ Comonadic Notions of Computation
Uses Software
