Loukanova R. Eta-Reduction in Type-Theory of Acyclic Recursion. ADCAIJ [Internet]. 2023 Jul. 18 [cited 2024 May 17];12(1):e29199. Available from: https://revistas.usal.es/cinco/index.php/2255-2863/article/view/29199