de Bruijn index английский

Значение de Bruijn index значение

Что в английском языке означает de Bruijn index?

de Bruijn index

(math) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

Возможно, вы искали...

de | Bruijn | index