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