Bits and pieces of the theory of institutions (0)

by Andrzej Tarlecki
Venue:Proceedings, Summer Workshop on Category Theory and Computer Programming