Comprensiones categoriales y subrecursión
NAGIOS: RODERIC FUNCIONANDO

Comprensiones categoriales y subrecursión

Repositori DSpace/Manakin

Comprensiones categoriales y subrecursión

Mostra el registre complet de l'element

Visualització       (1.109Mb)

Exportar a Refworks
    
Díaz Boils, Joaquin
Ubeda Rives, José Pedro (dir.)
Departament de Lògica i Filosofia de la Ciència
Aquest document és un/a tesi, creat/da 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.
distribuït sota llicència Creative Commons de Reconeixement-NoComercial 3.0 No adaptada

Aquest element apareix en la col·lecció o col·leccions següent(s)

Mostra el registre complet de l'element

Cerca a RODERIC

Cerca avançada

Visualitza

Estadístiques