Nigiyan, S. and Khondkaryan, T. (2017) “ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS”, Proceedings of the YSU A: Physical and Mathematical Sciences. Yerevan, Armenia, 51(2 (243), pp. 177–186. doi: 10.46991/PYSU:A/2017.51.2.177.