
[S12] Boletín Semanal
Stefan Malewski 10 Nov 202310/11/23 a las 07:27 hrs.2023-11-10 07:27:10
Temas de la Semana
Plazo recomendando: Jueves 16 de NoviembreOperadores de tipos y Tipos dependientes (Capítulo 18)
[Apuntes: Operadores de tipos | Tipos dependientes][Videos: Operadores de tipos | Tipos dependientes | Demo Coq]
- Términos, tipos y kinds
- Computación a nivel de tipos
- Lambda, F y CC omega.
- Verificación intrínseca vs extrínsica
- Tipos inductivos en CIC
- Demostraciones en Coq
- Tipos inductivos en Coq
Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
Compartir | |
---|---|
Categoría | Boletines |
Última Modificación | 10 Nov 202310/11/23 a las 07:27 hrs.2023-11-10 07:27:10 |
Vistas Únicas | 5 |