The category-theoretic solution of recursive metric-space equations

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Original languageEnglish
    JournalTheoretical Computer Science
    Volume411
    Issue number47
    Pages (from-to)4102-4122
    ISSN0304-3975
    Publication statusPublished - 2010

    Cite this