Khondkaryan, T.V. 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/PYSUA.2015.49.2.045.