Recordeu que es poden pujar les aportacions als sexennis de l'ANECA al repositori institucional, sense necessitat d’esperar que s’òbriga la convocatòria. Fer-ho amb antelació pot evitar imprevistos tècnics i facilitar la gestió. Articles: S’han de dipositar mitjançant la passarel·la GREC/RODERIC. Llibres, capítols de llibre o dades de recerca: S’han de dipositar directament a través de RODERIC. ________________________________________ Recordad que se pueden subir las aportaciones a los sexenios de la ANECA al repositorio institucional, sin necesidad de esperar a que se abra la convocatoria. Hacerlo con tiempo puede evitar imprevistos técnicos y facilitar la gestión. Artículos: Deben depositarse mediante la pasarela GREC/RODERIC. Libros, capítulos de libro o datos de investigación: Deben depositarse directamente a través de RODERIC

Doctoral thesis

Add to Favorites

Comprensiones categoriales y subrecursión

Files

Comprensiones_categoriales_y_subrecursion.pdf (1.06 MB)

Identifiers

URI: http://hdl.handle.net/10550/24423

Publication Date

Reading Date

2012-07-06

Authorship

Díaz Boils, Joaquin

Directors

Ubeda Rives, José Pedro

Keywords

categoría simétrica monoidal; Teoría de Lawvere; recursión ramificada; recursión segura

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.

Collections:

Document Statistics

Export

endnote

zotero

Cite

Citations

0 citations in

| Other documents of authorship

Díaz Boils, Joaquin

Share

Document Viewer

Select a file:

Reload