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