A note on one-round beta reduction

N.G. Bruijn, de

Onderzoeksoutput: Boek/rapportRapportPopulair

29 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's10
StatusGepubliceerd - 1984

Citeer dit