Imaxe de Portada

Eta-Reduction in Type-Theory of Acyclic Recursion

Gardado en:
Publicado en:ADCAIJ : Advances in Distributed Computing and Artificial Intelligence Journal vol. 12, no. 1 (2023), p. e29199
Autor Principal: Loukanova, Roussanka
Publicado:
Ediciones Universidad de Salamanca
Materias:
Conversion
Algorithms
Reduction
Calculus
Artificial intelligence
Syntax
Semantics
Distributed processing
Acceso en liña:Citation/Abstract
Full Text - PDF
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!