Grothendieck Institutions (2002)

by R Diaconescu
Venue:Appl. Categ. Structures