Franck Breugel
-
The category-theoretic solution of recursive metric-space equations
Theoretical Computer Science