Grothendieck institutions. Applied Categorical Structures, 10(4):383–402, 2002. Preliminary version appeared as (2000)

by Răzvan Diaconescu
Venue:IMAR Preprint 2-2000, ISSN