## Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic (2002)

by
Roberto Bruni
,
José Meseguer
,
Ugo Montanari

Venue: | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |

Citations: | 13 - 9 self |