A 2-category View for Double Categories with Shared Structure (1999)

Cached

Download Links

by Roberto Bruni , José Meseguer , Ugo Montanari