Created in December 11, 2024
2024
📘 publish Amortized Analysis via Coalgebra in the Proceedings of MFPS XL