relation: http://eprints.imtlucca.it/3952/
title: Initial Algebra for a System of Right-Linear Functors
creator: Labella, Anna
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Institute of Informatics, University of Szeged
date: 2017
type: Article
type: PeerReviewed
identifier:   Labella, Anna and De Nicola, Rocco  Initial Algebra for a System of Right-Linear Functors.  Acta Cybernetica, 23 (1).  pp. 191-201.  ISSN 0324-721X      (2017)  
relation: https://doi.org/10.14232/actacyb.23.1.2017.12
relation: 10.14232/actacyb.23.1.2017.12