Characterizing lambda-terms with equal reduction behavior

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

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    83 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's12
    StatusGepubliceerd - 2000

    Publicatie series

    NaamComputing science reports
    Volume0016
    ISSN van geprinte versie0926-4515

    Toegang tot document

    • 200110396Definitieve gepubliceerde versie, 604 KB

      Citeer dit