Khondkaryan, T.V. 2015. “ON TYPED AND UNTYPED LAMBDA-TERMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 49 (2 (237). Yerevan, Armenia:45-52. https://doi.org/10.46991/PSYU:A/2015.49.2.045.