机译:On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
LFCS, University of Edinburgh, JCMB, The King's Buildings, Edinburgh EH9 3JZ, Scotland;
CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands;