Agregando polimorfismo a una lógica que identifica proposiciones isomorfas

Mostrar todas las versiones(2)

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Sottile, Cristian
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2021
Materias:
Ciencias Informáticas
Cálculo lambda
Polimorfismo
Tipos isomorfos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/141023
http://50jaiio.sadio.org.ar/pdfs/est/EST-09.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-141023
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Cálculo lambda
Polimorfismo
Tipos isomorfos
spellingShingle Ciencias Informáticas
Cálculo lambda
Polimorfismo
Tipos isomorfos
Sottile, Cristian
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
topic_facet Ciencias Informáticas
Cálculo lambda
Polimorfismo
Tipos isomorfos
description 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.
format Objeto de conferencia
Objeto de conferencia
author Sottile, Cristian
author_facet Sottile, Cristian
author_sort Sottile, Cristian
title Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_short Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_full Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_fullStr Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_full_unstemmed Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_sort agregando polimorfismo a una lógica que identifica proposiciones isomorfas
publishDate 2021
url http://sedici.unlp.edu.ar/handle/10915/141023
http://50jaiio.sadio.org.ar/pdfs/est/EST-09.pdf
work_keys_str_mv AT sottilecristian agregandopolimorfismoaunalogicaqueidentificaproposicionesisomorfas
bdutipo_str Repositorios
_version_ 1764820458355556352

Ejemplares similares