English Explanatory Dictionary

de Bruijn index

English dictionary entry

Meanings

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

Word forms

de Bruijn index de Bruijn indexes

Etymology

Invented by the Dutch mathematician Nicolaas Govert de Bruijn.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on D Russian dictionary Dahl dictionary