Loukanova R. Restricted Computations and Parameters in Type-Theory of Acyclic Recursion. ADCAIJ [Internet]. 2023 Jul. 20 [cited 2024 Jul. 27];12(1):e29081. Available from: https://revistas.usal.es/cinco/index.php/2255-2863/article/view/29081