La Jerarquía de Grzegorzcyk por comprensiones categoriales

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

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

ISBN: 978-84-9887-939-1

Année de publication: 2012

Pages: 27-45

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

Type: Communication dans un congrès

DIALNET GOOGLE SCHOLAR

Résumé

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.

La source de données: Dialnet