|
|
Definition of Beta reduction
1. Noun. The act of beta reducing, an instance of replacing a function call by the result of calling a function. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Beta Reduction
Other Resources:
|
|
1. Noun. The act of beta reducing, an instance of replacing a function call by the result of calling a function. ¹
¹ Source: wiktionary.com