Local local reasoning: a BI-hyperdoctrine for full ground store

DOI10.1007/978-3-030-45231-5_28OpenAlexW3021975146MaRDI QIDQ2200846

Miriam Polzer, Sergei S. Goncharov

Publication date: 23 September 2020

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

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Modelling environments in call-by-value programming languages.
• A model of guarded recursion via generalised equilogical spaces
• Algebraic operations and generic effects
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Program logic and equivalence in the presence of garbage collection.
• Category-theoretic structure for independence and conditional independence
• Adjointness in Foundations
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic
• A Fibrational Account of Local States
• A monad for full ground reference cells
• Intensionality, Definability and Computation
• Instances of Computational Effects: An Algebraic Perspective
• Programming Languages and Systems