Hrachyan, G. G. . (2021). The Basic Semantics of Untyped Functional Programs and Reduction Strategies. Mathematical Problems of Computer Science, 32, 5–13. Retrieved from http://www.mpcs.sci.am/index.php/mpcs/article/view/353