An account of implementing applicative term rewriting

M.J. Weerdenburg, van

Research output: Book/ReportReportAcademic

37 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages17
Publication statusPublished - 2006

Publication series

NameComputer science reports
Volume0637
ISSN (Print)0926-4515

Cite this

Weerdenburg, van, M. J. (2006). An account of implementing applicative term rewriting. (Computer science reports; Vol. 0637). Technische Universiteit Eindhoven.