Sciweavers

BIRTHDAY
2006
Springer
14 years 2 months ago
Institutional 2-cells and Grothendieck Institutions
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...
Till Mossakowski