Picture for Mayuko Kori

Mayuko Kori

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

Add code
May 11, 2021
Figure 1 for Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
Figure 2 for Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
Viaarxiv icon

A Cyclic Proof System for HFLN

Add code
Oct 28, 2020
Viaarxiv icon