altenkirch_etal_2018:
  type: chapter
  title: Quotient Inductive-Inductive Types
  author:
  - Altenkirch, Thorsten
  - Capriotti, Paolo
  - Dijkstra, Gabe
  - Kraus, Nicolai
  - Nordvall Forsberg, Fredrik
  date: 2018
  page-range: 293-310
  url: http://dx.doi.org/10.1007/978-3-319-89366-2_16
  serial-number:
    doi: 10.1007/978-3-319-89366-2_16
    isbn: '9783319893662'
    issn: 1611-3349
  parent:
    type: book
    title: Foundations of Software Science and Computation Structures
    publisher: Springer International Publishing