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

Autor: Slieptsov, Igor O., Ismailova, Larisa Y., Kosikov, Sergey V.
Zdroj: In Procedia Computer Science 2022 213:563-569
Databáze: ScienceDirect