beta reduction - Deutsch Englisch Wörterbuch