Español (España)
English
Registrarse
Entrar
ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal
Actual
Archivos
Acerca de
Sobre la revista
Envíos
Equipo editorial
Declaración de privacidad
Contacto
Enviar artículo
Inicio
/
Archivos
/
Vol. 12 (2023)
/
Artículos
Eta-Reduction 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.29199