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

    Emneord

    • Dialectica categories
    • Dialectica interpretation
    • Functional interpretation
    • Realizability

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Cartesian Closed Dialectica Categories'. Sammen danner de et unikt fingeraftryk.

    Citationsformater