On the foundations of coalgebra semantics: non-wellfounded sets, partial orders, metric spaces (1998)

by D Turi, J Rutten
Venue:Mathematical Structures in Computer Science