beta reduce

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

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

beta reduces
Third-person singular simple present indicative form of beta reduce
beta reduce

    Heceleme

    Be·ta re·duce

    Türkçe nasıl söylenir

    beytı ridus

    Telaffuz

    /ˈbātə rēˈdo͞os/ /ˈbeɪtə riːˈduːs/