Free Constructions in Algebraic Institutions

Andrzej Tarlecki. Free Constructions in Algebraic Institutions. In Michal Chytil, Václav Koubek, editors, Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings. Volume 176 of Lecture Notes in Computer Science, pages 526-534, Springer, 1984.

Abstract

Abstract is missing.