Protocol choice and iteration for the free cornering

DOI10.1016/j.jlamp.2023.100942arXiv2305.16899OpenAlexW4390414791MaRDI QIDQ6151626

Niels Voorneveld, Chad Nester

Publication date: 12 February 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2305.16899

zbMATH Keywords

category theoryconcurrencydouble categoriescomputational effects

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A mathematical theory of resources
• Notions of computation and monads
• The logic of message-passing
• Model structures on the category of small double categories
• On the \(\pi\)-calculus and linear logic
• Containers: Constructing strictly positive types
• The Uniformity Principle on Traced Monoidal Categories
• Handling Algebraic Effects
• Propositions as sessions
• When is a container a comonad?
• A Survey of Graphical Languages for Monoidal Categories
• Framed bicategories and monoidal fibrations
• Data types in distributive categories
• Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
• An abstract formulation for rewrite systems
• Interaction Laws of Monads and Comonads
• Catégories structurées
• Concurrent Process Histories and Resource Transducers
• What is a free double category like?
• What Do We Want a Foundation to Do?
• Runners for interleaving algebraic effects

This page was built for publication: Protocol choice and iteration for the free cornering