timany-2018-cumulative:
  type: article
  title: Cumulative Inductive Types In Coq
  author:
  - Timany, Amin
  - Sozeau, Matthieu
  date: 2018
  page-range: 29:1-29:16
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.29
  serial-number:
    doi: 10.4230/LIPICS.FSCD.2018.29
  parent:
    type: proceedings
    title: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 108