Programa -

Navegar

Últimos publicados Tipo: Asignatura o Plan Año Título Docente Departamento

Colección

Lista de

Barenbaum, Pablo

Curso Avanzado sobre Tipos Dependientes y Demostradores Interactivos (2025). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Tópicos de Reescritura, Cálculo-Lambda y Tipos (2023). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Paradigmas de Programación (2024). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación