La Jerarquía de Grzegorzcyk por comprensiones categoriales

  1. Joaquín Díaz Boils
Llibre:
VII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science: Santiago de Compostela, Spain, 18-20 July 2012
  1. Concha Martínez Vidal (dir. congr.)
  2. José L. Falguera López (dir. congr.)
  3. José M. Sagüillo (dir. congr.)
  4. Víctor M. Verdejo Aparicio (dir. congr.)
  5. Martín Pereira Fariña (dir. congr.)

Editorial: Servicio de Publicaciones e Intercambio Científico ; Universidad de Santiago de Compostela

ISBN: 978-84-9887-939-1

Any de publicació: 2012

Pàgines: 27-45

Congrés: Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Congreso (7. 2012. Santiago de Compostela)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR

Resum

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.

Fuente de los datos: Dialnet