Term rewriting with variable binding: an initial algebra approach.

Makoto Hamana

Browse the full PPDP paper archive.