Stone-type dualities for separation logics (2019)
Attributed to:
A coalgebraic framework for reductive logic and proof-search (ReLiC)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.23638/LMCS-15%281%3A27%292019
Publication URI: https://dx.doi.org/10.23638/LMCS-15%281%3A27%292019
Type: Journal Article/Review
Volume: 15
Parent Publication: Logical Methods in Computer Science
Issue: 1