GRIGORYAN, D. A. On Dependence of Interpretation Algorithms of Typed Functional Programs on Canonical Notion of δ-Reduction. Mathematical Problems of Computer Science, [S. l.], v. 49, p. 103–109, 2021. DOI: 10.51408/1963-0013. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/94. Acesso em: 18 may. 2024.