The category-theoretic solution of recursive metric-space quations

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

    OriginalsprogEngelsk
    ForlagIT-Universitetet i København
    Antal sider29
    StatusUdgivet - 2009
    NavnTech Report TR-2009-119

    Citationsformater