fiore-2022-quotients:
  type: article
  title: Quotients, inductive types, and quotient inductive types
  author:
  - Fiore, Marcelo P.
  - Pitts, Andrew M.
  - Steenkamp, S. C.
  date: 2022-06
  page-range: 15:1–15:37
  serial-number:
    doi: 10.46298/lmcs-18(2:15)2022
  parent:
    type: periodical
    title: Logical Methods in Computer Science
    publisher: Centre pour la Communication Scientifique Directe (CCSD)
    issue: 2
    volume: 18