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