Peter Aczel
-
Final coalgebras as greatest fixed points in ZF set theory
Mathematical Structures in Computer Science