Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.

Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata

Browse the full CONCUR paper archive.