Loukanova, R. (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