TY  - RPRT
TI  - Amortized Analysis via Coalgebra
AU  - Harrison Grodin
AU  - Robert Harper
PY  - 2024
DO  - 10.46298/entics.14797
UR  - https://arxiv.org/abs/2404.03641
ID  - 2404.03641
ER  -