to syntactically replace a function call by the result of calling that function

listen to the pronunciation of to syntactically replace a function call by the result of calling that function
English - English
beta reduce

The term (\lambda x.\, x)\,y can beta reduce to y\!.

to syntactically replace a function call by the result of calling that function

    Hyphenation

    to syn·tac·ti·cal·ly re·place a func·tion call by the re·sult of call·ing that func·tion

    Pronunciation

Favorites