Linear explicit substitutions (1998)

by N Ghani, V de Paiva, E Ritter
Venue:In Proc. of Westapp'98