Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Refining reduction in the lambda calculus

    Onderzoeksoutput: Boek/rapportRapportAcademic

    299 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's15
    StatusGepubliceerd - 1994

    Publicatie series

    NaamComputing science notes
    Volume9418

    Citeer dit