Algorithmic definition of lambda-typed lambda calculus

N.G. Bruijn, de

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    69 Downloads (Pure)
    Originele taal-2Engels
    TitelLogical Environments
    RedacteurenG. Huet, G.D. Plotkin
    Plaats van productieCambridge
    UitgeverijCambridge University Press
    Pagina's131-146
    ISBN van geprinte versie0-521-43312-6
    StatusGepubliceerd - 1993

    Citeer dit