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
    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

    Identifiers