redi logo
  • Inicio
  • Acerca de
Regresar
  • Inicio
  • /
  • Explore
  • /
  • Authors

Mostrando 1 resultados de: 1

Filtros aplicados

Año de Publicación: "2017"

Subtipo de publicación

Article(1)

Publisher

Journal of Logic and Computation(1)

Área temáticas

Programación informática, programas, datos, seguridad(1)

Área de conocimiento

Lógica matemática(1)

Objetivos de Desarrollo Sostenible

ODS 17: Alianzas para lograr los objetivos(1)
ODS 8: Trabajo decente y crecimiento económico(1)
ODS 9: Industria, innovación e infraestructura(1)

Origen

scopus(1)

Palabras Claves

Ramified recursion(1)
Safe recursion(1)
Symmetric monoidal category(1)
  • Categorical comprehensions and recursion

    avatar
    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

Inicio

    Acerca de

      Explorar

        AutoresDocumentosOrganizacionesEventosProyectosPatentesServicios

      Análisis

        Áreas de conocimiento
        Redes de investigaciónTendenciasTodas las áreas de conocimiento
        Áreas temáticas de Dewey
        Redes de investigaciónTendenciasTodas las áreas temáticas
        Objetivos de Desarrollo Sostenible
        ODS por documentos

      Reportes

        GeneralAutoresDocumentosOrganizacionesEventosProyectosPatentesServicios

      © 2025 CEDIA copyright
      CEDIA