coalgebra - Robuta Search

https://entics.episciences.org/14797 #14797 - Amortized Analysis via Coalgebra Amortized analysis is a cost analysis technique for data structures in which cost is studied in aggregate: rather than considering the maximum cost of a single... analysis via https://arxiv.org/abs/2105.04817 [2105.04817] Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning... Abstract page for arXiv paper 2105.04817: Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside... initial algebra https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/1747/PhD-position-in-coalgebra-University-of-Leicester PhD position in coalgebra, University of Leicester | Institute for Logic, Language and Computation The Department of Computer Science of the University of Leicester offers three PhD studentship (GTA). The GTA scheme involves some teaching and runs for 4... university of leicester https://ir.cwi.nl/pub/28550 Centrum Wiskunde & Informatica: The Method of Coalgebra: exercises in coinduction the method centrum wiskunde informatica exercises https://coalg.org/ Coalgebra https://resources.illc.uva.nl/LogicList/newsitem.php?id=4188 Workshop on Kleene Coalgebra, 21 December 2010, Nijmegen, The Netherlands workshop kleene december nijmegen netherlands https://arxiv.org/abs/math/9909108 [math/9909108] The cohomology structure of an algebra entwined with a coalgebra Abstract page for arXiv paper math/9909108: The cohomology structure of an algebra entwined with a coalgebra