Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

TCS
2010

favoriteEmaildiscussreport

135views Theoretical Computer Science» more TCS 2010»

The category-theoretic solution of recursive metric-space equations

12 years 11 months ago

The category-theoretic solution of recursive metric-space equations

Download www.itu.dk

Lars Birkedal, Kristian Støvring, Jacob Tha

Real-time Traffic

TCS 2010 | Theoretical Computer Science |

claim paper

Related Content

» The Category Theoretic Solution of Recursive Program Schemes

» Realizability Semantics of Parametric Polymorphism General References and Recursive Types

Post Info
More Details (n/a)

Added	21 May 2011
Updated	21 May 2011
Type	Journal
Year	2010
Where	TCS
Authors	Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Comments (0)