theory of types - Alemán Inglés Diccionario