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 licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.