<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Initial Algebra for a System of Right-Linear Functors"^^ . "In 2003 we showed that right-linear systems of equations over regular expressions, when interpreted in a category of trees, have a solution whenever they enjoy a specific property that we called hierarchicity and that is instrumental to avoid critical mutual recursive definitions. In this note, we prove that a right-linear system of polynomial endofunctors on a cocartesian monoidal closed category which enjoys parameterized left list arithmeticity, has an initial algebra, provided it satisfies a property similar to hierarchicity."^^ . "2017" . "23" . "1" . . "Institute of Informatics, University of Szeged"^^ . . . "Acta Cybernetica"^^ . . . "0324721X" . . . . . . . . . . "Anna"^^ . "Labella"^^ . "Anna Labella"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #3952 \n\nInitial Algebra for a System of Right-Linear Functors\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .