English Explanatory Dictionary

de Bruijn notation

English dictionary entry

Meanings

noun
  1. A certain syntax for terms in the lambda calculus.

Word forms

de Bruijn notation

Etymology

Named after 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