Lambda calculus extended with segments : Chapter 1, Sections 1.1 and 1.2 (Introduction)

H. Balsters

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    1 Citaat (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's339-367
    ISBN van geprinte versie0-444-89822-0
    StatusGepubliceerd - 1994

    Publicatie series

    NaamStudies in Logic
    Volume133

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Lambda calculus extended with segments : Chapter 1, Sections 1.1 and 1.2 (Introduction)'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit