A de Bruijn Notation for Higher-Order Rewriting.

Eduardo Bonelli Delia Kesner Alejandro Ríos A de Bruijn Notation for Higher-Order Rewriting. 62-79 2000 conf/rta/2000 RTA db/conf/rta/rta2000.html#BonelliKR00 http://dx.doi.org/10.1007/10721975_5