Definitions from Wiktionary (de Bruijn index)
▸ noun: (mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
▸ Words similar to de Bruijn index
▸ Usage examples for de Bruijn index
▸ Idioms related to de Bruijn index
▸ Wikipedia articles (New!)
▸ Words that often appear near de Bruijn index
▸ Rhymes of de Bruijn index
▸ Invented words related to de Bruijn index
▸ noun: (mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
Similar:
de Bruijn notation,
de Bruijn graph,
de Bruijn-Newman constant,
de Bruijn sequence,
de Bruijn torus,
superbracket,
subindex,
combinator,
lambda calculus,
lambda term,
more...
▸ Words similar to de Bruijn index
▸ Usage examples for de Bruijn index
▸ Idioms related to de Bruijn index
▸ Wikipedia articles (New!)
▸ Words that often appear near de Bruijn index
▸ Rhymes of de Bruijn index
▸ Invented words related to de Bruijn index