U.: Symmetric monoidal and cartesian double categories as a semantic framework for tile logic (0)

by R Bruni, J Meseguer, Montanari
Venue:Mathematical Structures in Computer Science 12(1) (2002) 53–90