Parsing via spliceLast updated Apr 23, 2024Tags: Prolinear category of spliced arrows, Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2022).