Comprensiones categoriales y subrecursión
NAGIOS: RODERIC FUNCIONANDO

Comprensiones categoriales y subrecursión

DSpace Repository

Comprensiones categoriales y subrecursión

Show full item record

View       (1.109Mb)

Exportar a Refworks
    
Díaz Boils, Joaquin
Úbeda Rives, José Pedro (dir.)
Departament de Lògica i Filosofia de la Ciència
This document is a tesisDate2012
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

This item appears in the following Collection(s)

Show full item record

Search DSpace

Advanced Search

Browse

Statistics