T. Khondkaryan, “ON TYPED AND UNTYPED LAMBDA-TERMS”, Proc. YSU A: Phys. Math. Sci., vol. 49, no. 2 (237), pp. 45–52, Jun. 2015.