Tensors of Comodels and Models for Operational Semantics

DOI10.1016/j.entcs.2008.10.018zbMath1286.68303OpenAlexW1981062279MaRDI QIDQ5415644

A. John Power, Gordon D. Plotkin

Publication date: 13 May 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.018

zbMATH Keywords

tensorarraysmodelglobal statefree cocompletioncomodelcountable Lawvere theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (9)

Stream processors and comodels ⋮ Runners in Action ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Sweedler theory of monads ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Sound and complete equational reasoning over comodels ⋮ Programming with algebraic effects and handlers ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Stateful runners of effectful computations

Cites Work

• Notions of computation and monads
• Discrete Lawvere theories and computational effects
• Combining algebraic effects with continuations
• Two-dimensional monad theory
• Algebraic operations and generic effects
• Positive subtyping
• Coalgebraic semantics for timed processes
• Combining effects: sum and tensor
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tensors of Comodels and Models for Operational Semantics