basold_2019:
  type: article
  title: 'Coinduction in flow: the later modality in fibrations'
  author: Basold, Henning
  date: 2019
  page-range: 8:1–8:22
  url: https://doi.org/10.4230/LIPIcs.CALCO.2019.8
  serial-number:
    doi: 10.4230/LIPIcs.CALCO.2019.8
  parent:
    type: proceedings
    title: 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
    volume: 139
    parent:
      type: proceedings
      title: LIPIcs