beta reduce (English, verb)
expansion: beta reduce (third-person singular simple present beta reduces, present participle beta reducing, simple past and past participle beta reduced)
Senses:
topics: computer
computing
engineering
mathematics
natural-sciences
physical-sciences
science
sciences
glosses: To syntactically replace a function call by the result of calling that function.
tags: intransitive
transitive
Forms:
form: beta reduces
tags: present
singular
third-person
form: beta reducing
tags: participle
present
form: beta reduced
tags: participle
past
form: beta reduced
tags: past