A plea for weaker frameworks

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

    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

    Access to Document

    • 597611Final published version, 1.4 MB

      Cite this