TY  - GEN
AU  - Sottile,Cristian
AU  - Díaz Caro,Alejandro
AU  - Martínez López,Pablo Ernesto
TI  - Hacia un sistema I polimórfico
KW  - CÁLCULO LAMBDA
KW  - POLIMORFISMO
KW  - isomorfismos de tipos
N1  - Formato de archivo PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca); Congreso Argentino de Ciencias de la Computación (25to : 2019 : Río Cuarto, Córdoba)
N2  - Sistema I es un lambda cálculo simplemente tipado con pares, extendido con una teoría ecuacional obtenida a partir de los isomorfismos de tipos existentes entre los tipos simples con pares. En este trabajo en progreso proponemos una extensión de Sistema I hacia tipos polimórficos, añadiendo al sistema de tipos tanto el cuantificador universal como sus isomorfismos relacionados
UR  - http://sedici.unlp.edu.ar/handle/10915/91092
ER  -