On Intensional Type Theory

Jørgen Villadsen

    Publikation: Konferencebidrag › Paper › Forskning

    OriginalsprogEngelsk
    Publikationsdato2006
    Antal sider6
    StatusUdgivet - 2006
    BegivenhedInternational Conference on Computational, Foundational and Philosophical Issues in Non-Standard Set Theories - Kolding, Danmark
    Varighed: 2 jun. 2006 → 2 jun. 2006

    Konference

    KonferenceInternational Conference on Computational, Foundational and Philosophical Issues in Non-Standard Set Theories
    Land/OmrådeDanmark
    ByKolding
    Periode02/06/2006 → 02/06/2006

    Citer dette