Higher-Order Rewriting

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationTerm Rewriting Systems
Editors Terese
Place of PublicationCambridge
PublisherCambridge University Press
Pages588-667
Publication statusPublished - 2003

Bibliographical note

terese2003

Cite this