A Proof of the Substitution Lemma in de Bruijn s Notation

Hiroshi Ohtsuka. A Proof of the Substitution Lemma in de Bruijn s Notation. Inf. Process. Lett., 46(2):63-66, 1993.

Abstract

Abstract is missing.