NAGIOS: RODERIC FUNCIONANDO

Comprensiones categoriales y subrecursión

Manakin: DSpace XMLUI Project v2

Comprensiones categoriales y subrecursión

Ver en Dublin Core

Descargar:       (1.109Mb)
Exportar a Refworks
    
Díaz Boils, Joaquin
Úbeda Rives, José Pedro (dir.)
Departament de Lògica i Filosofia de la Ciència
Este documento es un/a tesis, creado en: 2012
Se define una nueva estructura categorial con el objeto de caracterizar las clases de funciones subrecursivas pertenecientes a la Jerarquía de Grzegorzcyk. Ello se consigue por medio de functores de coerción sobre una categoría simétrica monoidal dotada de ciertos esquemas de recursión que imitan el esquema de recursión acotada. Ello se hace para dar una visión categorial generalizada de la recursión y la composición seguras.
distribuido bajo licencia Creative Commons de Reconocimiento-NoComercial 3.0 No adaptada

Este documento aparece en la(s) siguiente(s) colección(ones)

Ver en Dublin Core

Buscar en RODERIC

Búsqueda avanzada

Listar

Mi cuenta

Estadísticas