Bits and Pieces of the Theory of Institutions
Authors:
Andrzej Tarlecki
Affiliations:
-
Venue:
Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming
Year:
1985
Citing
0
Cited
1
Interpolation in Grothendieck institutions
Theoretical Computer Science
Quantified Score
Hi-index
0.00
Visualization
Abstract