type theory - Español Inglés Diccionario