Characterizing lambda-terms with equal reduction behavior

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

Onderzoeksoutput: Boek/rapportRapportAcademic

45 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

Citeer dit