Loukanova, R. «Eta-Reduction in Type-Theory of Acyclic Recursion». ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, vol. 12, n.º 1, julio de 2023, p. e29199, doi:10.14201/adcaij.29199.