First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Lars Birkedal, Rasmus Ejlers Møgelberg, Kristian Støvring, Jan schwinghammer

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftAnnual Symposium on Logic in Computer Science
    Sider (fra-til)55-64
    ISSN1043-6871
    DOI
    StatusUdgivet - 2011

    Citationsformater