@doctoralThesis{Rajani_2020,
title={A type-theory for higher-order amortized analysis},
author={Rajani, Vineet},
doi={http://dx.doi.org/10.22028/D291-30877},
year={2020}
}