Matthew Collinson

Available identifiers

Publication	Date of Publication	Type
A logic of hypothetical conjunction	2020-01-29	Paper
Layered graph logic as an assertion language for access control policy models	2017-05-17	Paper
Erratum to: A substructural logic for layered graphs	2017-05-17	Paper
A substructural logic for layered graphs	2015-01-12	Paper
A discipline of mathematical systems modelling	2013-10-25	Paper
Bunching for regions and locations	2013-10-10	Paper
Erratum to: ``Algebra and logic for access control	2010-05-28	Paper
Algebra and logic for access control	2010-05-05	Paper
A logical and computational theory of located resource	2010-01-14	Paper
Algebra and logic for resource-based systems modelling	2009-11-11	Paper
Bunched polymorphism	2008-12-10	Paper
Errata for ``A calculus and logic of resources and processes and their consequences	2007-11-28	Paper
Computer Science Logic	2006-11-01	Paper

This page was built for person: Matthew Collinson