Grigoryan, Davit A. 2021. “On Dependence of Interpretation Algorithms of Typed Functional Programs on Canonical Notion of δ-Reduction”. Mathematical Problems of Computer Science 49 (December):103-9. https://doi.org/10.51408/1963-0013.