Higher-Order Rewriting.

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)220-239
JournalLecture Notes in Computer Science
Volume1631
DOIs
Publication statusPublished - 1999

Bibliographical note

Proceedings title: Proc. of the 10th International Conference on Rewriting Techniques and Applications (RTA'99), Trento, Italy, July 1999

Cite this