Explicit substitution : on the edge of strong normalisation

Research output: Book/ReportReportAcademic

76 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages14
Publication statusPublished - 1996

Publication series

NameComputing science reports
Volume9610
ISSN (Print)0926-4515

Cite this

Bloo, C. J., & Geuvers, J. H. (1996). Explicit substitution : on the edge of strong normalisation. (Computing science reports; Vol. 9610). Technische Universiteit Eindhoven.