Computable sets : located and overt locales

T. Coquand, B.A.W. Spitters

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Publishers.n.
    Number of pages16
    Publication statusPublished - 2007

    Publication series

    NamearXiv:math.LO
    Volume0703561

    Cite this