From iterative algebras to iterative theories, in this volume (0)

by J Adámek, S Milius, J Velebil