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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados