de Bruijn notation (English, noun)
expansion: de Bruijn notation (uncountable)
Senses:
topics: mathematics
sciences
glosses: A certain syntax for terms in the lambda calculus.
tags: uncountable
Forms: