A plea for weaker frameworks

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    80 Downloads (Pure)
    Original languageEnglish
    Title of host publicationLogical frameworks
    EditorsGérard Huet, G. Plotkin
    Place of PublicationCambridge
    PublisherCambridge University Press
    Pages40-67
    ISBN (Print)0-521-41300-1
    Publication statusPublished - 1991

    Cite this