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

Cached

Download Links

by Roberto Bruni , José Meseguer , Ugo Montanari
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:14 - 9 self