Codex
Carlos Nexans
Mis apuntes compilados y pasados en limpio.
I. Lógica
II. Fundamentos de Análisis Real
III. Variable Compleja
IV. Teoría Homotópica de Tipos
- Introducción y Notación
- Deducción Natural y Lambda Cálculo
- Tipos Inductivos
- Lógica de Primer Orden en Teoría de Tipos
- Aritmética en Teoría de Tipos
- Propiedades del Tipo Identidad
- Niveles de Homotopía y Equivalencias
- Tipos Inductivos Superiores
- Introduccion a Rocq
- Expresividad: Matemáticas en UniMath
- Bibliografía