NAGIOS: RODERIC FUNCIONANDO

Comprensiones categoriales y subrecursión

DSpace/Manakin Repository

Valencià Castellano

Comprensiones categoriales y subrecursión

Show full item record

View

(1.109Mb)


	Díaz Boils, Joaquin Úbeda Rives, José Pedro (dir.) Departament de Lògica i Filosofia de la Ciència
	xmlui.dri2xhtml.METS-1.0.item-type xmlui.dri2xhtml.METS-1.0.item-type-tesisDate2012
	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.
	A new categorical setting is defined in order to characterize the subrecursive classes belonging to the Grzegorzcyk Hierarchy. This is achieved by means of coercion functors over a symmetric monoidal category endowed with certain recursion schemes that imitate the bounded recursion scheme. This is donde to get a categorical counterpart of generalized safe composition and safe recursion.... xmlui.dri2xhtml.METS-1.0.item-leermas [-] A new categorical setting is defined in order to characterize the subrecursive classes belonging to the Grzegorzcyk Hierarchy. This is achieved by means of coercion functors over a symmetric monoidal category endowed with certain recursion schemes that imitate the bounded recursion scheme. This is donde to get a categorical counterpart of generalized safe composition and safe recursion.

xmlui.dri2xhtml.METS-1.0.item-licencia-cc

This item appears in the following Collection(s)

11 - Lógica [4]

Show full item record

Search Roderic

Browse

All of Roderic
This Collection
- Titles
- Authors
- Subjects
- By type

My Account

Statistics

View Statistics