Higher-Order Rewriting (1999)
by
Femke Van Raamsdonk
| Venue: | 12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051 |
| Citations: | 18 - 1 self |
Document Versions
| Higher-Order Rewriting –Femke Van Raamsdonk — 1999 — 12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051 |
