open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Publisher: "Journal of Logic and Computation"
Subtipo de publicación
Article
(1)
Área temáticas
Programación informática, programas, datos, seguridad
(1)
Área de conocimiento
Lógica matemática
(1)
Año de Publicación
2017
(1)
Origen
scopus
(1)
Palabras Claves
Ramified recursion
(1)
Safe recursion
(1)
Symmetric monoidal category
(1)
Categorical comprehensions and recursion
Article
Abstract:
Anew categorical setting is defined in order to characterize the subrecursive classes belonging to c
Palabras claves:
Ramified recursion, Safe recursion, Symmetric monoidal category
Autores:
Joaquín Diaz-Boils
Fuentes:
scopus
1
1
