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