Cartesian Closed Dialectica Categories

Bodil Biering

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Abstract

    Udgivelsesdato: 16.12
    OriginalsprogEngelsk
    TidsskriftAnnals of Pure and Applied Logic
    Vol/bind156
    Sider (fra-til)290-307
    Antal sider18
    ISSN0168-0072
    DOI
    StatusUdgivet - 2008

    Citationsformater