Nigiyan, S. ON INTERPRETATION OF TYPED AND UNTYPED FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2018, 52, 119-133.