|
|
|
|
| LEADER |
00000naa a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170512.0 |
| 008 |
230201s2019 xx o 000 0 spa d |
| 024 |
8 |
|
|a DIF-M8365
|b 8585
|z DIF007657
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Sottile, Cristian
|
| 245 |
1 |
0 |
|a Hacia un sistema I polimórfico
|
| 300 |
|
|
|a 1 archivo (943,6 kB)
|
| 500 |
|
|
|a Formato de archivo PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
|
| 520 |
|
|
|a 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.
|
| 534 |
|
|
|a Congreso Argentino de Ciencias de la Computación (25to : 2019 : Río Cuarto, Córdoba)
|
| 650 |
|
4 |
|a CÁLCULO LAMBDA
|
| 650 |
|
4 |
|a POLIMORFISMO
|
| 653 |
|
|
|a isomorfismos de tipos
|
| 700 |
1 |
|
|a Díaz Caro, Alejandro
|
| 700 |
1 |
|
|a Martínez López, Pablo Ernesto
|
| 856 |
4 |
0 |
|u http://sedici.unlp.edu.ar/handle/10915/91092
|
| 942 |
|
|
|c CP
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A1223
|7 3
|8 BD
|9 83277
|a DIF
|b DIF
|d 2025-03-11
|l 0
|o A1223
|r 2025-03-11 17:05:12
|u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2325
|w 2025-03-11
|y CP
|
| 999 |
|
|
|c 57430
|d 57430
|
