Explicit substitutions for the -calculus (1994)

by P Audebaud