Explicit substitution : on the edge of strong normalisation

Research output: Book/ReportReportAcademic

91 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