Loukanova, R. 2023. Eta-Reduction in Type-Theory of Acyclic Recursion. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal. 12, 1 (Jul. 2023), e29199. DOI:https://doi.org/10.14201/adcaij.29199.