shulman-2019-all:
  type: misc
  title: All ( ∞ , 1 )-toposes have strict univalent universes
  author: Shulman, Michael
  date: 2019-04
  serial-number:
    arxiv: '1904.07004'