Resource Reasoning in Duality Theoretic Form: Stone-Type Dualities for Bunched and 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

Publication URI: https://math.unice.fr/tacl/2019/

Type: Conference/Paper/Proceeding/Abstract