Clase 7 - Construcción Formal de Programas en Teoría de Tipos - OpenFing

Cursos Actualizaciones FAQs Sobre el proyecto

Construcción Formal de Programas en Teoría de Tipos

Teórico 2023
Teórico 2022
Teórico 2021

1
Clase 1
2
Clase 2
3
Clase 3
4
Clase 4
5
Clase 5
6
Clase 6
7
Clase 7
8
Clase 8

Clase 7

Compartir

×

Iniciar en:

Terminar en:

12/10/2021 Ver más

Docentes

Gustavo Betarte, Carlos Luna

Instituto

Computación

Transcripción

Buscar en la transcripción

Cargando transcripción...

Todo el contenido de OpenFing es Creative Commons.