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