English Explanatory Dictionary

beta reduce

English dictionary entry

Meanings

verb
  1. To syntactically replace a function call by the result of calling that function.

Word forms

beta reduce beta reduces beta reducing beta reduced

Related words

beta reduction beta convert beta conversion
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 B Russian dictionary Dahl dictionary