Higher-Order Rewriting (1999)

Cached

Download Links

by Femke Van Raamsdonk
Venue:12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051
Citations:20 - 1 self

Document Versions

Higher-Order Rewriting –Femke Van Raamsdonk — 1999 — 12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051