Algorithmic definition of lambda-typed lambda calculus

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    30 Downloads (Pure)
    Original languageEnglish
    Title of host publicationLogical Environments
    EditorsG. Huet, G.D. Plotkin
    Place of PublicationCambridge
    PublisherCambridge University Press
    Pages131-146
    ISBN (Print)0-521-43312-6
    Publication statusPublished - 1993

    Cite this