beta reduce

Hierarchy: 
Description: 
{{computer science|transitive|or|intransitive}} To syntactically replace a function call by the result of calling that function.
Ngram: 
Ngram Text: 
beta reduce
Source: 
Wiktionary
Issue: 
0
Wiktionary tag: 
Ngram Count: 
2