Grothendieck institutions (1994)

by R Diaconescu
Venue:Applied Categorical Structures