Chrysafis Hartonas
Univ. of Sussex, Brighton, UK
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
Mathematical Structures in Computer Science