La Jerarquía de Grzegorzcyk por comprensiones categoriales

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

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

ISBN: 978-84-9887-939-1

Year of publication: 2012

Pages: 27-45

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

Type: Conference paper

DIALNET GOOGLE SCHOLAR

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.

Data source: Dialnet