Sekirov Dictionary

beta reduce

verb1

To syntactically replace a function call by the result of calling that function.

forms

beta reduced · beta reducing · beta reduces

This dictionary works without the internet: on your phone · in Chrome