theory of types - Französisch Englisch Wörterbuch