@phdthesis{dnb-22704,
  title = {A type-theory for higher-order amortized analysis},
  author = {Vineet Rajani},
  year = {2020},
  url = {http://d-nb.info/1209947382},
  researchr = {https://researchr.org/publication/dnb-22704},
  cites = {0},
  citedby = {0},
  school = {Saarland University, Saarbrücken, Germany},
}