An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
MSCS. Mathematical structures in computer science/Mathematical structures in computer science