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