@dblp

Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories.

, , , , and . WADT, volume 11563 of Lecture Notes in Computer Science, page 139-153. Springer, (2018)

Links and resources

Tags