From Iterative Algebras to Iterative Theories, extended abstract appeared in Electron (0)

by J Adámek, S Milius, J Velebil
Venue:Notes Theor. Comput. Sci