The mathematical vernacular, a language for mathematics with typed sets

N.G. Bruijn, de

    Research output: Book/ReportReportPopular

    127 Downloads (Pure)
    Original languageEnglish
    Place of PublicationGöteborg
    PublisherUniversity of Göteborg
    Number of pages37
    Publication statusPublished - 1987

    Bibliographical note

    Proceedings of the workshop on programming logic / ed. by Peter Dybjer, Bengt Nordstrom, Kent Petersson ... [et al.]. - Goteborg : University of Goteborg, 1987

    Cite this