Higher-order rewriting with types and arities

J.-P. Jouannaud, F. van Raamsdonk, A. Rubio

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)89-92
JournalAachener Informatik-Berichte
Publication statusPublished - 2004

Bibliographical note

Proceedings title: Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004)
Editors: D. Kesner, F. van Raamsdonk, J. Wells

Cite this