Effect algebras, Girard quantales and complementation in separation logic

DOI10.1007/978-3-030-88701-8_3OpenAlexW3210862527MaRDI QIDQ2695344

Callum Bannister, Georg Struth, Peter Höfner

Publication date: 30 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-88701-8_3

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Toolchain

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• Algebraic separation logic
• Quotients of partial abelian monoids and the Riesz decomposition property.
• Backwards and forwards with separation logic
• A Program Construction and Verification Tool for Separation Logic
• An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
• Context logic as modal logic
• Quantales and (noncommutative) linear logic
• A Marriage of Rely/Guarantee and Separation Logic
• Classical BI: Its Semantics and Proof Theory
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic
• Convolution as a Unifying Concept
• Sub-classical Boolean Bunched Logics and the Meaning of Par
• Program Logics for Certified Compilers

This page was built for publication: Effect algebras, Girard quantales and complementation in separation logic