Analysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus

Igor O. Slieptsov, Larisa Y. Ismailova, Sergey Kosikov. Analysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus. In Félix F. Ramos Corchado, Alexei V. Samsonovich, editors, Proceedings of the 2022 Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence, BICA*AI 2022, 13th Annual Meeting of the BICA Society, September 22-24, 2022, Guadalajara, Mexico. Volume 213 of Procedia Computer Science, pages 563-569, Elsevier, 2022. [doi]

Abstract

Abstract is missing.