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, https://doi.org/10.46991/PYSUA.2015.49.2.045.