Formalization of constructivity in Automath

N.G. Bruijn, de

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    60 Downloads (Pure)

    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's849-864
    ISBN van geprinte versie0-444-89822-0
    StatusGepubliceerd - 1994

    Publicatie series

    NaamStudies in logic and the foundations of mathematics
    Volume133
    ISSN van geprinte versie0049-237X

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Formalization of constructivity in Automath'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit