Axiomatizing iteration categories (1999)

by Z Ésik
Venue:Acta Cybernetica