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