Institutional 2-cells and Grothendieck institutions (2006)

Cached

Download Links

by Till Mossakowski
Venue:Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, LNCS 4060
Citations:7 - 5 self