activity
20202026
most citedFibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down

2 citations · 4 across the 10 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LO2021★ 2 cited

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

Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata

The coincidence between initial algebras (IAs) and final coalgebras (FCs) is a phenomenon that underpins various important results in theoretical computer science. In this paper, w…