A proof of the substitution lemma in de Bruijn's notation (Q1802059)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A proof of the substitution lemma in de Bruijn's notation |
scientific article |
Statements
A proof of the substitution lemma in de Bruijn's notation (English)
0 references
1993
0 references
The paper proves the substitution lemma using de Bruijn's notation [\textit{N. de Bruijn}, Lambda-calculus notation with nameless dummies, a tool for automatic formula manipulation, Indag. Math. 34, 381-392 (1972; Zbl 0253.68007.], DBN for short, DBN, which is an alternative representation of the \(\lambda\)-calculus, represents variables with non-negative integers in order to avoid the need for \(\alpha\)-conversion.
0 references
substitution lemma
0 references
de Bruijn's notation
0 references
\(\lambda\)-calculus
0 references