beta reduces

Englisch - Englisch

Definition von beta reduces im Englisch Englisch wörterbuch

Third-person singular simple present indicative form of beta reduce

Relevante Übersetzungen

beta reduce

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

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

Silbentrennung

Be·ta reduces

Türkische aussprache

beytı ridusîz

Aussprache

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