Stone-type dualities for separation logics (2019)

First Author: Docherty, S
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