Biblioteca Digital
Depositar
Políticas
Formularios
Eventos
Colecciones
Tesis de Posgrado
Tesis de Grado
Trabajos Finales
Artículos
Programas
Producción institucional
Publicaciones
Reportes Técnicos
Libros
Archivo
Fotografías
Archivo Oral de la Memoria - EXACTAS UBA
Publicaciones
Exactamente
La Ménsula
Anales AFA
El Hornero
Ecología Austral
El Cable
QED
QuimicaViva
Chemia
Holmbergia
Programa
Todo
Nombre de la asignatura
Docente a cargo
Año
Resolución de aprobación
Departamento
Navegar
Últimos publicados
Año
Nombre de la asignatura
Docente
Departamento
Colección
Datos
Estadísticas
Lista de
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z
Barenbaum, Pablo
2
Tópicos de Reescritura, Cálculo-Lambda y Tipos (2023)
. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Curso Avanzado sobre Tipos Dependientes y Demostradores Interactivos (2025)
. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (54 11) 5285-8274
Biblioteca
Campus Virtual
Trámites
Intranet
Webmail
Contacto
UBA
