Semantics for Algebraic Operations

DOI10.1016/S1571-0661(04)80970-8zbMath1260.68220OpenAlexW2026028037MaRDI QIDQ4917064

Gordon D. Plotkin, A. John Power

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80970-8

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (21)

Modular structural operational semantics ⋮ Runners in Action ⋮ Complete axiomatization for the total variation distance of Markov chains ⋮ Weakest preconditions in fibrations ⋮ A divertimento on MonadPlus and nondeterminism ⋮ Lawvere theories enriched over a general base ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ About permutation algebras, (pre)sheaves and named sets ⋮ Finitary monads on the category of posets ⋮ Generic models for computational effects ⋮ Monad transformers as monoid transformers ⋮ Doo bee doo bee doo ⋮ Unguarded recursion on coinductive resumptions ⋮ Relating Computational Effects by ⊤ ⊤-Lifting ⋮ Models for the computational λ-calculus ⋮ Unnamed Item ⋮ Combining effects: sum and tensor ⋮ Dependent Types and Fibred Computational Effects ⋮ Weakest preconditions in fibrations ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ Comonadic Notions of Computation

Cites Work

• Notions of computation and monads
• A representable approach to finite nondeterminism
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics for Algebraic Operations