hottbook:
  type: book
  title: 'Homotopy Type Theory: Univalent Foundations of Mathematics'
  author: Univalent Foundations Program, The
  date: 2013
  publisher: Institute for Advanced Study