English Explanatory Dictionary

redex

English dictionary entry

Meanings

noun
  1. Something to be reduced according to the rules of a formal system.

Pronunciation

/ˈɹiːdɛks/ LL-Q1860 (eng)-Flame, not lame-redex.wav

Word forms

redex redexes

Etymology

Abbreviation of reducible expression.

Related words

lambda calculus
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 R Russian dictionary Dahl dictionary