The Category-Theoretic Solution of Recursive Metric-Space Equations (2009)

by Lars Birkedal , Kristian Støvring , Jacob Thamsborg
Citations:18 - 7 self