type theory - Alemán Inglés Diccionario