beta reduce

Englisch - Englisch

Definition von beta reduce im Englisch Englisch wörterbuch

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

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

Relevante Übersetzungen

beta reduces

Third-person singular simple present indicative form of beta reduce

Silbentrennung

Be·ta re·duce

Türkische aussprache

beytı ridus

Aussprache

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