Beyond Beta-reduction in Church's lambda-arrow

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

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

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

    Publicatie series

    NaamComputing science notes
    Volume9420

    Toegang tot document

    • 9411071Definitieve gepubliceerde versie, 839 KB

      Citeer dit