Comprensiones categoriales y subrecursión
- Díaz Boïls, Joaquín
- José Pedro Úbeda Rives Director
Universidade de defensa: Universitat de València
Fecha de defensa: 06 de xullo de 2012
- Giuseppe Rosolini Presidente/a
- Enric Casaban Moya Secretario/a
- Concepción Martínez Vidal Vogal
Tipo: Tese
Resumo
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.