https://www.kth.se/math/kalender/stefania-damato-initial-algebra-semantics-for-qiits-using-containers-1.1345820?date=2024-06-26&orgdate=2024-02-13&length=1&orglength=0
Stefania Damato: Initial Algebra Semantics for QIITs using Containers | KTH
initial algebrastefaniadamatosemanticsusing
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 algebrafinal coalgebra210504817