Loukanova, Roussanka. “Restricted Computations and Parameters in Type-Theory of Acyclic Recursion”. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal 12, no. 1 (July 20, 2023): e29081. Accessed February 24, 2024. https://revistas.usal.es/cinco/index.php/2255-2863/article/view/29081.