On Intensional Type Theory

Jørgen Villadsen

    Publikation: KonferencebidragPaperForskning

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

    Konference

    KonferenceInternational Conference on Computational, Foundational and Philosophical Issues in Non-Standard Set Theories
    LandDanmark
    ByKolding
    Periode02/06/200602/06/2006

    Citer dette