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