Tensors of Comodels and Models for Operational Semantics

DOI10.1016/j.entcs.2008.10.018zbMath1286.68303MaRDI 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

tensor; arrays; model; global state; free cocompletion; comodel; countable Lawvere theory

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

18C10: Theories (e.g., algebraic theories), structure, and semantics

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

Related Items

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

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