Khondkaryan, T. ON TYPED AND UNTYPED LAMBDA-TERMS. Proc. YSU A: Phys. Math. Sci. 2015, 49, 45-52.