MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
01433naa a2200289 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
|---|
| campo de control |
AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20240131171305.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
230201s2019 xx do 000 0 spa d |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
DIF007640 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
AR-LpUFIB |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Sottile, Cristian |
| 9 (RLIN) |
258129 |
| 245 10 - MENCIÓN DEL TÍTULO |
|---|
| Título |
Hacia un sistema I polimórfico |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
: |
| Nombre del editor, distribuidor, etc. |
, |
| Fecha de publicación, distribución, etc. |
2019 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
1 archivo (943,6 kB) |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Formato de archivo PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
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 ## - NOTA SOBRE LA VERSIÓN ORIGINAL |
|---|
| Encabezamiento principal del original |
Congreso Argentino de Ciencias de la Computación (25to : 2019 : Río Cuarto, Córdoba) |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
CÁLCULO LAMBDA |
| 9 (RLIN) |
253468 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
POLIMORFISMO |
| 9 (RLIN) |
253797 |
| 653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO |
|---|
| Término no controlado |
isomorfismos de tipos |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Díaz Caro, Alejandro |
| 9 (RLIN) |
255694 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Martínez López, Pablo Ernesto |
| 9 (RLIN) |
251548 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recursos |
<a href="http://sedici.unlp.edu.ar/handle/10915/91092">http://sedici.unlp.edu.ar/handle/10915/91092</a> |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recursos |
<a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2325"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2325</a> |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Capítulo de libro |