La Jerarquía de Grzegorzcyk por comprensiones categoriales

  1. Joaquín Díaz Boils
Buch:
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.)

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

ISBN: 978-84-9887-939-1

Datum der Publikation: 2012

Seiten: 27-45

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

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR

Zusammenfassung

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