de Bruijn notation

短语

释义与例句

n.
  1. 1.

    A certain syntax for terms in the lambda calculus.

    不可数 数学

词源

Named after the Dutch mathematician Nicolaas Govert de Bruijn.

来源：wiktionary