Lista de

Curien, Pierre-Louis
2
Curso Intensivo sobre Fundamentos de la Teoría de Tipos Homotópica (2021). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Lógica Lineal: Sintaxis, Modelos y Extensiones (2023). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación