Khondkaryan, T. ON TYPED AND UNTYPED LAMBDA-TERMS. Proc. YSU A: Phys. Math. Sci. 2015, 49 (2 (237), 45-52. https://doi.org/10.46991/PYSUA.2015.49.2.045.