Login / Signup

A de Bruijn Notation for Higher-Order Rewriting.

Eduardo BonelliDelia KesnerAlejandro Ríos
Published in: RTA (2000)
Keyphrases