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