@article{eprints3952,
          author = {Anna Labella and Rocco De Nicola},
       publisher = {Institute of Informatics, University of Szeged},
            note = {SCOPUS ID: 2-s2.0-85020128814},
         journal = {Acta Cybernetica},
            year = {2017},
           title = {Initial Algebra for a System of Right-Linear Functors},
           pages = {191--201},
          number = {1},
          volume = {23},
             url = {http://eprints.imtlucca.it/3952/},
        abstract = {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.}
}