The Clustering of Lambda Terms by Using Embeddings. МІА [Internet]. 2023 Oct. 30 [cited 2026 Oct. 25];59:16-23. Available from: https://periodicals.karazin.ua/mia/article/view/23700