Comprensiones categoriales y subrecursión
NAGIOS: RODERIC FUNCIONANDO

Comprensiones categoriales y subrecursión

DSpace Repository

Comprensiones categoriales y subrecursión

Show simple item record

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.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 info:eu-repo/semantics/doctoralThesis es_ES
dc.subject.unesco UNESCO::LÓGICA::Otras especialidades relativas a la lógica es_ES
dc.description.abstractenglish 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. es_ES
dc.embargo.terms 1 month es_ES

View       (1.109Mb)

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search

Browse

Statistics