de bruijn index

/D IY1 B R UW0 JH N IH0 N D EH0 K S/
noun
  1. 1

    (mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

Translate “de bruijn index” into another language

Choose a language below to open the translator with English selected as the source language.

🇪🇸Spanish🇫🇷French🇩🇪German🇸🇦Arabic🇨🇳Chinese Simplified🇯🇵Japanese🇮🇳Hindi🇧🇷Portuguese🇷🇺Russian🇰🇷Korean🇮🇹Italian🇹🇷Turkish
See all 248+ languages
Back to Dictionary