de Bruijn index (English, noun)
expansion: de Bruijn index (plural de Bruijn indexes)
Senses:
topics: mathematics
sciences
glosses: A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
Forms:
form: de Bruijn indexes
tags: plural