higher-order term - Deutsch Englisch Wörterbuch