Traducción inglés español

English version

¿Qué significa "type theory" en español?