1. (Co-)interation for higher-order nested datatypes;Abel,2003
2. Generalized iteration and coiteration for higher-order nested datatypes;Abel,2003
3. Aczel P., Frege structures and the notions of proposition, truth and set, in: J. Barwise, H. J. Keisler and K. Kunen, eds., Proc. of The Kleene Symp. (Madison, WI, June 1978), Studies in Logic and Found. of Math. 101, North Holland, Amsterdam, 1980 pp. 31–59.
4. Algebras and coalgebras;Aczel,2002
5. Aczel, P. J., Adámek and J. Velebil, A coalgebraic view of infinite trees and iteration, in: A. Corradini, M. Lenisa and U. Montanari, eds., Proc. of 4th Wksh. on Coalgebraic Methods in Computer Science, CMCS'01 (Genova, Apr. 2001), Electr. Notes in Theoret. Comput. Sci. 44(1), Elsevier, Amsterdam, 2001. Journal version with S. Milius as an additional coauthor to appear in Theoret. Comput. Sci.