Computational effects and operations: an overview

MaRDI QIDQ2851544zbMATH OpenFDO

Authors Gordon D. Plotkin, John Power

Publication date 10 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104050893

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Combining effects: sum and tensor
• Countable Lawvere theories and computational effects
• Discrete Lawvere theories and computational effects
• Combining algebraic effects with continuations
• Algebra and Coalgebra in Computer Science

Cited in

(33)

• Comparing free algebras in topological and classical domain theory
• Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
• Backtracking with cut via a distributive law and left-zero monoids
• VDM semantics of programming languages: Combinators and monads
• Observationally-induced algebras in domain theory
• Monoidal indeterminates and categories of possible worlds
• Observationally-induced lower and upper powerspace constructions
• Comonadic notions of computation
• Freyd categories are enriched Lawvere theories
• Algebra and Coalgebra in Computer Science
• Foundations of Software Science and Computation Structures
• Combining algebraic effects with continuations
• Generic models for computational effects
• Algebraic operations and generic effects
• Duoidally enriched Freyd categories
• Equational theories of abnormal termination based on Kleene algebra
• Presenting dcpos and dcpo algebras
• Observationally-induced effects in Cartesian closed categories
• Observationally-induced effect monads: upper and lower powerspace constructions
• Two cotensors in one: presentations of algebraic theories for local state and fresh names
• On the construction of free algebras for equational systems
• Combining effects: sum and tensor
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• A counterexample to tensorability of effects
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• Metric monads
• A convenient category of domains
• Tensors of comodels and models for operational semantics
• scientific article; zbMATH DE number 7453165 (Why is no real title available?)
• Interpreting Localized Computational Effects Using Operators of Higher Type
• Lawvere theories enriched over a general base
• Modularity and implementation of mathematical operational semantics

Describes a project that uses

Uses Software

• LCF

This page was built for publication: Computational effects and operations: an overview

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851544)