TY  - RPRT
TI  - Type-Based Analysis of Logarithmic Amortised Complexity
AU  - Martin Hofmann
AU  - Lorenz Leutgeb
AU  - Georg Moser
AU  - David Obwaller
AU  - Florian Zuleger
PY  - 2021
DO  - 10.1017/s0960129521000232
UR  - https://arxiv.org/abs/2101.12029
ID  - 2101.12029
ER  -