Strong normalization in a typed lambda calculus with lambda structured types

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    2 Citaten (Scopus)

    Samenvatting

    No abstract.
    Originele taal-2Engels
    TitelSelected Papers on Automath
    RedacteurenR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
    Plaats van productieAmsterdam
    UitgeverijNorth-Holland Publishing Company
    Pagina's389-468
    ISBN van geprinte versie0-444-89822-0
    StatusGepubliceerd - 1994

    Publicatie series

    NaamStudies in Logic
    Volume133

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Strong normalization in a typed lambda calculus with lambda structured types'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit