Originalsprog | Engelsk |
---|---|
Tidsskrift | Theoretical Computer Science |
Vol/bind | 411 |
Udgave nummer | 47 |
Sider (fra-til) | 4102-4122 |
ISSN | 0304-3975 |
Status | Udgivet - 2010 |
The category-theoretic solution of recursive metric-space equations
Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review