Intuitionistic Layered Graph Logic: Semantics and Proof Theory

Docherty, S; Pym, D; (2019) Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Logical Methods in Computer Science (LMCS) (In press).

https://ift.tt/2D8TO4V