theory of types - Inglés Sinónimo Diccionario