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