theory of types - Spanisch Englisch Wörterbuch