de Bruijn index

English

Etymology

Invented by the Dutch mathematician Nicolaas Govert de Bruijn.

Noun

de Bruijn index (plural de Bruijn indexes)

  1. (mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.