Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
From MaRDI portal
Publication:2805171
DOI10.1016/j.entcs.2009.07.103zbMath1338.18034OpenAlexW2086115819MaRDI QIDQ2805171
Publication date: 10 May 2016
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.2009.07.103
Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (3)
How to prove decidability of equational theories with second-order computation analyser SOL ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- A new approach to abstract syntax with variable binding
- Variations on algebra: Monadicity and generalisations of equational theories
- Notions of computation and monads
- A calculus of mobile processes. II
- A fully abstract model for the \(\pi\)-calculus.
- Syntactic control of interference revisited
- A theory of bisimulation for the \(\pi\)-calculus
- Free-algebra models for the \(\pi \)-calculus
- The semantics and proof theory of the logic of bunched implications
- Monoidal Indeterminates and Categories of Possible Worlds
- Nominal Equational Logic
- Nominal Lawvere Theories
- A Formal Calculus for Informal Equality with Binding
- On bunched typing
- Term Equational Systems and Logics
- Equational Systems and Free Constructions (Extended Abstract)
- On closed categories of functors
- Construction of biclosed categories
- Foundations of Software Science and Computational Structures
This page was built for publication: Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names