BECAS
SOTTILE Cristian FabiÁn
congresos y reuniones científicas
Título:
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
Autor/es:
CRISTIAN F. SOTTILE
Lugar:
Modalidad Virtual
Reunión:
Simposio; XIV Concurso de Trabajos Estudiantiles (EST 2021) - JAIIO 50; 2021
Institución organizadora:
SADIO, INTA
Resumen:
Sistema I es un cálculo lambda simplemente tipado con pares, extendido con una teoría ecuacional obtenida a partir de considerar a los tipos isomorfos como iguales. En este trabajo presentamos una extensión de Sistema I a polimorfismo, agregando los isomorfismos correspondientes, y proveemos pruebas no estándar de las propiedades de preservación de tipos y normalización fuerte.
