On the roles of types in mathematics

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    161 Downloads (Pure)
    Original languageEnglish
    Title of host publicationThe Curry-Howard isomorphism / ed. by P. de Groote
    Place of PublicationLouvain-la-Neuve
    PublisherAcademia-Erasme
    Pages27-54
    ISBN (Print)2-87209-363-X
    Publication statusPublished - 1995

    Publication series

    NameCahiers du centre de logique
    Volume8

    Cite this