NIGIYAN, S. ON INTERPRETATION OF TYPED AND UNTYPED FUNCTIONAL PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 52, n. 2 (246), p. 119–133, 15 Aug.2018.