Filters








2 Hits in 1.6 sec

Approximation of Nested Fixpoints – A Coalgebraic View of Parametric Dataypes

Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan De Vries, Marc Herbstritt
2015 Conference on Algebra and Coalgebra in Computer Science  
We prove a coalgebraic version of Bekič lemma that allows us to reduce simultaneous fixpoints to a single fix point.  ...  Thus a possibly infinite object of interest is regarded as a final coalgebra of a many-sorted polynomial functor and can be seen as a limit of finite approximants.  ...  Acknowledgements The fourth author would like to acknowledge a Daphne Jackson fellowship sponsored by EPSRC and the University of Leicester.  ... 
doi:10.4230/lipics.calco.2015.205 dblp:conf/calco/KurzPPSV15 fatcat:t6zfpenqjnhdpd5rsag74fdigi

Approximation of Nested Fixpoints-A Coalgebraic View of Parametric Dataypes

Alexander Kurz, Alberto Pardo, Daniela Petrişan, Paula Severi, Jan De Vries
unpublished
We prove a coalgebraic version of Bekič lemma that allows us to reduce simultaneous fixpoints to a single fix point.  ...  Thus a possibly infinite object of interest is regarded as a final coalgebra of a many-sorted polynomial functor and can be seen as a limit of finite approximants.  ...  The fourth author would like to acknowledge a Daphne Jackson fellowship sponsored by EPSRC and the University of Leicester.  ... 
fatcat:tm3kl43pm5evxeom6hm622kllu