Loukanova, Roussanka. 2023. “Restricted Computations and Parameters in Type-Theory of Acyclic Recursion”. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal 12 (1):e29081. https://doi.org/10.14201/adcaij.29081.