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