vanderweide-2020-constructing:
  type: article
  title: Constructing Higher Inductive Types as Groupoid Quotients
  author:
    name: Weide
    given-name: Niels
    prefix: van der
  date: 2020-07
  page-range: 929-943
  serial-number:
    doi: 10.1145/3373718.3394803
  parent:
    type: proceedings
    title: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
    publisher: ACM