[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 Noviembre

Operadores 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