Rajani, Vineet Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/29104 (beliebiger Volltext)
Rajani, V. (2020). A Type-theory for Higher-order Amortized Analysis. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-30877.