000			01433naa a2200289 a 4500
003			AR-LpUFIB
005			20240131171305.0
007			ta
008			230201s2019 xx do 000 0 spa d
024	8		_aDIF007640
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aSottile, Cristian _9258129
245	1	0	_aHacia un sistema I polimórfico
260			_a: _b, _c2019
300			_a1 archivo (943,6 kB)
500			_aFormato de archivo PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
520			_aSistema 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.
534			_aCongreso Argentino de Ciencias de la Computación (25to : 2019 : Río Cuarto, Córdoba)
650		4	_aCÁLCULO LAMBDA _9253468
650		4	_aPOLIMORFISMO _9253797
653			_aisomorfismos de tipos
700	1		_aDíaz Caro, Alejandro _9255694
700	1		_aMartínez López, Pablo Ernesto _9251548
856	4	0	_uhttp://sedici.unlp.edu.ar/handle/10915/91092
856	4	0	_u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2325
942			_cCP
999			_c849649 _d849649