Computable sets : located and overt locales

T. Coquand, B.A.W. Spitters

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Originele taal-2Engels
    Uitgeverijs.n.
    Aantal pagina's16
    StatusGepubliceerd - 2007

    Publicatie series

    NaamarXiv:math.LO
    Volume0703561

    Citeer dit