El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos /
El propósito de este trabajo es presentar el cálculo F-sombrero y lograr inferencia de tipos eficiente para el mismo. F-sombrero es un cálculo que resulta de enriquecer el sistema de Girard con anotaciones de tamaño al estilo lambda-sombrero. La particularidad del sistema de tipos F-sombrero, al igu...
