S. Nigiyan, “ON INTERPRETATION OF TYPED AND UNTYPED FUNCTIONAL PROGRAMS”, Proc. YSU A: Phys. Math. Sci., vol. 52, no. 2 (246), pp. 119–133, Aug. 2018, doi: 10.46991/PYSU:A/2018.52.2.119.