@article{ES:16,
  journal = {Annals of Pure and Applied Logic},
  number = {9},
  volume = {167},
  year = {2016},
  title = {The intrinsic topology of Martin-L\"of universes},
  pages = {794-805},
  author = {Escard\'o, Martin and Streicher, Thomas},
}