Khondkaryan, T.V. “ON TYPED AND UNTYPED LAMBDA-TERMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 49, no. 2 (237) (June 12, 2015): 45–52. Accessed May 20, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol49_no2_2015_pp045-052.