|
|
Definition of Beta reduce
1. Verb. (computer science transitive or intransitive) To syntactically replace a function call by the result of calling that function. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Beta Reduce
Other Resources:
|
|
1. Verb. (computer science transitive or intransitive) To syntactically replace a function call by the result of calling that function. ¹
¹ Source: wiktionary.com