A substructural logic for layered graphs

Matthew Collinson, Kevin Mcdonald, David J. Pym. A substructural logic for layered graphs. Journal of Logic and Computation, 24(4):953-988, 2014. [doi]

Abstract

Abstract is missing.