Loukanova, Roussanka. “Eta-Reduction in Type-Theory of Acyclic Recursion”. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal 12, no. 1 (July 18, 2023): e29199. Accessed May 17, 2024. https://revistas.usal.es/cinco/index.php/2255-2863/article/view/29199.