KHONDKARYAN, T.V. ON TYPED AND UNTYPED LAMBDA-TERMS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 49, n. 2 (237), p. 45–52, 2015. DOI: 10.46991/PSYU:A/2015.49.2.045. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol49_no2_2015_pp045-052. Acesso em: 20 may. 2024.