Demà 4 de Març de 2021 el sistema estarà en manteniment des de les 7:15 fins a les 9:15 hores. Disculpeu les molèsties. Mañana 4 de Marzo de 2021 el sistema estará en mantenimiento desde las 7:15 hasta las 9:15 horas. Disculpen las molestias.
Díaz Boils, Joaquin
Ubeda Rives, José Pedro (dir.) Departament de Lògica i Filosofia de la Ciència |
|
This document is a tesisDate2012 | |
Este documento está disponible también en : http://hdl.handle.net/10550/24423 |
|
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. | |
Ver en el catálogo Trobes |