La Teoría de Tipos Intensional como Lenguaje Fundacional

Sinopsis

Una serie de conferencias que presentan la Teoría de Tipos Intensional, una alternativa a la teoría de conjuntos como fundamento de las matemáticas, enfatizando la construcción y los juicios en lugar de las propiedades y las proposiciones.