TY  - RPRT
TI  - Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
AU  - Mayuko Kori
AU  - Ichiro Hasuo
AU  - Shin-ya Katsumata
PY  - 2021
DO  - 10.4230/lipics.concur.2021.21
UR  - https://arxiv.org/abs/2105.04817
ID  - 2105.04817
ER  -