Restricted Computations and Parameters in Type-Theory of Acyclic Recursion

Roussanka Loukanova

doi:10.14201/adcaij.29081

Restricted Computations and Parameters in Type-Theory of Acyclic Recursion

Roussanka Loukanova

Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia rloukanova[at]gmail.com

https://doi.org/10.14201/adcaij.29081

Descargar

+ −

Métricas

392 Views

1746 Downloads

2138 Total

Cómo citar

Loukanova, R. (2023). Restricted Computations and Parameters in Type-Theory of Acyclic Recursion. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, 12(1), e29081. https://doi.org/10.14201/adcaij.29081

Descargar cita

Fechas editoriales

Enviado:

2022-05-09

Aceptado:

2023-01-30

Publicado:

2023-07-20

Número

Vol. 12 (2023)

Sección

Artículos

Palabras clave

Algorithms
Types
Parameters
Restrictor Operator
Reduction Calculi
Iterative Computations
Compiler Iterations

Agencias de apoyo

Esta investigación no contó con financiación

Licencia

Derechos de autor 2023 Roussanka Loukanova

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.