D. A. Grigoryan, “On Dependence of Interpretation Algorithms of Typed Functional Programs on Canonical Notion of δ-Reduction”, MPCS, vol. 49, pp. 103–109, Dec. 2021.