A Fibrational Account of Local States
From MaRDI portal
Publication:4635822
DOI10.1109/LICS.2015.45zbMath1395.18003OpenAlexW2115785609MaRDI QIDQ4635822
Paul-André Melliès, Kenji Maillard
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2015.45
Semantics in the theory of computing (68Q55) Fibered categories (18D30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Local local reasoning: a BI-hyperdoctrine for full ground store, Monoidal-closed categories of tree automata