Nigiyan, S.A., and T.V. Khondkaryan. “ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 51, no. 2 (243), June 2017, pp. 177-86, doi:10.46991/PYSU:A/2017.51.2.177.