beta reduce

English

Verb

beta reduce (third-person singular simple present beta reduces, present participle beta reducing, simple past and past participle beta reduced)

  1. (computer science, transitive or intransitive) To syntactically replace a function call by the result of calling that function.
    The term (λx.x)y can beta reduce to y.

See also

This page is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.