Focused Proof-search in the Logic of Bunched Implications (Accepted) (2021)
Attributed to:
A coalgebraic framework for reductive logic and proof-search (ReLiC)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://arxiv.org/pdf/2010.08352.pdf
Type: Conference/Paper/Proceeding/Abstract