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