Generic models for computational effects
From MaRDI portal
Publication:860841
DOI10.1016/J.TCS.2006.08.006zbMath1123.18005OpenAlexW2158242393MaRDI QIDQ860841
Publication date: 9 January 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.08.006
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20) Foundations, relations to logic and deductive systems (18A15)
Related Items (7)
Freyd categories are enriched Lawvere theories ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Commutative Semantics for Probabilistic Programming ⋮ Graded Hoare logic and its categorical semantics ⋮ What is a Categorical Model of Arrows? ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Cites Work
- Notions of computation and monads
- A universal property of the convolution monoidal structure
- Two-dimensional monad theory
- Introduction to extensive and distributive categories
- Modelling environments in call-by-value programming languages.
- Premonoidal categories as categories with algebraic structure
- Algebraic operations and generic effects
- Combining effects: sum and tensor
- Premonoidal categories and notions of computation
- Semantics for Algebraic Operations
- Foundations of Software Science and Computation Structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Generic models for computational effects
