Created in November 15, 2024
2024
📘 publish Amortized Analysis via Coalgebra in the Proceedings of MFPS XL