Explicit substitution : on the edge of strong normalisation

C.J. Bloo, J.H. Geuvers

Onderzoeksoutput: Boek/rapport › Rapport › Academic

157 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

Toegang tot document

  • 9613610Definitieve gepubliceerde versie, 559 KB

    Citeer dit