Construcción formal de programas en teoría de tipos

Tipo

Posgrado

Institutos

INCO

Programas de posgrado

Informática (PEDECIBA)

Programa

construccion-formal-de-programas-en-teoria-de-tipos.pdf (268.01 KB)

Créditos

10

Inicio

2do Semestre

Agosto a diciembre de 2026

Docentes responsables

Carlos Luna

Página de inscripción

https://bedelias.udelar.edu.uy/