Comprensiones categoriales y subrecursión
- Díaz Boïls, Joaquín
- José Pedro Úbeda Rives Doktorvater/Doktormutter
Universität der Verteidigung: Universitat de València
Fecha de defensa: 06 von Juli von 2012
- Giuseppe Rosolini Präsident/in
- Enric Casaban Moya Sekretär/in
- Concepción Martínez Vidal Vocal
Art: Dissertation
Zusammenfassung
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.