The Barendregt cube with definitions and generalised reduction

R. Bloo, F. Kamareddine, R.P. Nederpelt

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

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

    Publicatie series

    NaamComputing science reports
    Volume9434
    ISSN van geprinte versie0926-4515

    Toegang tot document

    • 9413629Definitieve gepubliceerde versie, 1,37 MB

      Citeer dit