LOUKANOVA, R. Eta-Reduction in Type-Theory of Acyclic Recursion. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, [S. l.], v. 12, n. 1, p. e29199, 2023. DOI: 10.14201/adcaij.29199. Disponível em: https://revistas.usal.es/cinco/index.php/2255-2863/article/view/29199. Acesso em: 26 may. 2024.