ahrens-2020-a:
  type: article
  title: A Higher Structure Identity Principle
  author:
  - Ahrens, Benedikt
  - North, Paige Randall
  - Shulman, Michael
  - Tsementzis, Dimitris
  date: 2020-07
  page-range: 53-66
  serial-number:
    doi: 10.1145/3373718.3394755
  parent:
    type: proceedings
    title: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
    publisher: ACM