Collagories: Relation-algebraic reasoning for gluing constructions

Abstract

Sorry, we couldn't extract an abstract for this paper.
DOI: 10.1016/j.jlap.2011.04.006