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.