Kan extensions of institutions (1999)

by Grigore Rosu
Venue:J. UCS