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