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]

Authors

Matthew Collinson

This author has not been identified. Look up 'Matthew Collinson' in Google

Kevin Mcdonald

This author has not been identified. Look up 'Kevin Mcdonald' in Google

David J. Pym

This author has not been identified. Look up 'David J. Pym' in Google