Registro:
| Documento: | Programa de la asignatura |
| Idioma: | Español |
| Formato: | PDF |
| Nombre de la asignatura: | Curso Avanzado sobre Cálculo Lambda: de Tipos Simples a Tipos con Intersección no Idempotente (2024) |
| Docente/s a cargo: | Guerrieri, Giulio |
| Docente colaborador/a: | Barenbaum, Pablo |
| Departamento: | Departamento de Computación |
| Resolución de Aprobación: | 1127 |
| Año de Resolución de Aprobación: | 2024 |
| Momento de dictado: | invierno
|
| Código y nombre de asignatura en Guaraní: | Curso Avanzado sobre Cálculo Lambda: de Tipos Simples a Tipos con Intersección no Idempotente |
| Handle: |
https://hdl.handle.net/20.500.12110/programa_n20241127 |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/programa/programa_n20241127.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/programa/document/programa_n20241127 |
| Ubicación: | 2024 1127 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Programa de la asignatura : Curso Avanzado sobre Cálculo Lambda: de Tipos Simples a Tipos con Intersección no Idempotente (2024). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación. Recuperado de https://hdl.handle.net/20.500.12110/programa_n20241127 |
Citación sugerida:
Programa de la asignatura : Curso Avanzado sobre Cálculo Lambda: de Tipos Simples a Tipos con Intersección no Idempotente (2024). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación. Recuperado de https://hdl.handle.net/20.500.12110/programa_n20241127
Estadísticas:
Descargas totales desde :
Descargas mensuales
https://bibliotecadigital.exactas.uba.ar/download/programa/programa_n20241127.pdf
