Explicit substitution : on the edge of strong normalisation

Onderzoeksoutput: Boek/rapportRapportAcademic

77 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's14
StatusGepubliceerd - 1996

Publicatie series

NaamComputing science reports
Volume9610
ISSN van geprinte versie0926-4515

Citeer dit