Explicit substitutions in the reduction of lambda terms.

Gopalan Nadathur, Xiaochu Qi

Browse the full PPDP paper archive.