Imagen de Portada

Eta-Reduction in Type-Theory of Acyclic Recursion

Guardado 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 línea:Citation/Abstract
Full Text - PDF
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!