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
الإنجليزية - الإنجليزية
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

    الواصلة

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

    النطق

المفضلات
المزيد...
امسح