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 tidsskriftTidsskriftartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftTheoretical Computer Science
    Vol/bind411
    Udgave nummer47
    Sider (fra-til)4102-4122
    ISSN0304-3975
    StatusUdgivet - 2010

    Citationsformater