Constructing generator of words of context-sensitive language on example of typed λ-calculus

Autor: Slieptsov, Igor O., Wolfengagen, Viacheslav E., Kosikov, Sergey V.
Zdroj: In Procedia Computer Science 2022 213:556-562
Databáze: ScienceDirect