[S04] Boletín Semanal

Stefan Malewski 1 Sep 202301/09/23 at 11:332023-09-01 11:33:01

Hitos Evaluativos

Tarea 1: Tipos de seguridad para un lenguaje minimalista. | Fecha de entrega: 27 de Septiembre a las 23:59

Temas de la Semana

Plazo recomendando: Jueves 07 de Septiembre

Dinámicas contextual, ecuacional y de evaluación (Capítulos 5.3, 5.4 y 7)
[Apuntes: Dinámicas][Videos: Dinámica contextual y ecuacional | Dinámica de evaluación]
  • Dinámica contextual
  • Contextos de evaluación y redexes
  • Dinámica ecualcional
  • Identidad definicional
  • Dinámica de evaluación
  • Small vs big step
  • Divergencia
  • Equivalencia de semánticas dinámicas

Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
Compartir
Categoría Boletines
Última Modificación 1 Sep 202301/09/23 at 11:342023-09-01 11:34:01
Vistas Únicas 7