de Bruijn index

名词 n.

英文释义

名词 n.
  1. A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

词形变化

de Bruijn indexes plural

词源

Invented by the Dutch mathematician Nicolaas Govert de Bruijn.
0 次浏览 数据来源: Wiktionary