NAGIOS: RODERIC FUNCIONANDO

Comprensiones categoriales y subrecursión

Repositori DSpace/Manakin

IMPORTANT: Aquest repositori està en una versió antiga des del 3/12/2023. La nova instal.lació está en https://roderic.uv.es/

Comprensiones categoriales y subrecursión

Mostra el registre parcial de l'element

dc.contributor.advisor Ubeda Rives, José Pedro
dc.contributor.author Díaz Boils, Joaquin
dc.contributor.other Departament de Lògica i Filosofia de la Ciència es_ES
dc.date.accessioned 2012-09-19T07:57:16Z
dc.date.available 2012-10-20T06:10:03Z
dc.date.issued 2012
dc.date.submitted 06/07/2012 es_ES
dc.identifier.uri http://hdl.handle.net/10550/24423
dc.description.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. es_ES
dc.description.abstract 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. en_US
dc.format.extent 192 p. es_ES
dc.language.iso es es_ES
dc.subject categoría simétrica monoidal; Teoría de Lawvere; recursión ramificada; recursión segura es_ES
dc.title Comprensiones categoriales y subrecursión es_ES
dc.type doctoral thesis es_ES
dc.subject.unesco UNESCO::LÓGICA::Otras especialidades relativas a la lógica es_ES
dc.embargo.terms 1 month es_ES

Visualització       (1.109Mb)

Aquest element apareix en la col·lecció o col·leccions següent(s)

Mostra el registre parcial de l'element

Cerca a RODERIC

Cerca avançada

Visualitza

Estadístiques