@phdthesis{Karbyshev13Thesis,
  author = {Aleksandr Karbyshev},
  title = {Monadic {P}arametricity of {S}econd-{O}rder {F}unctionals},
  school = {Institut f\"ur Informatik},
  month = {September},
  year = 2013,
  publisher = {Universit\"atsbibliothek},
  address = {Technische Universit\"at M\"unchen},
}