Infinite trees and completely iterative theories: a coalgebraic view

Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil. Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science, 300(1-3):1-45, 2003. [doi]

Abstract

Abstract is missing.