Comprensiones categoriales y subrecursión

  1. Díaz Boïls, Joaquín
Supervised by:
  1. José Pedro Úbeda Rives Director

Defence university: Universitat de València

Fecha de defensa: 06 July 2012

Committee:
  1. Giuseppe Rosolini Chair
  2. Enric Casaban Moya Secretary
  3. Concepción Martínez Vidal Committee member

Type: Thesis

Teseo: 327340 DIALNET lock_openRODERIC editor

Abstract

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.