@inproceedings{basold_2019,
 title = {Coinduction in flow: the later modality in fibrations},
 author = {Basold, Henning},
 year = {2019},
 booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
 series = {LIPIcs},
 volume = {139},
 pages = {8:1--8:22},
 url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.8},
 doi = {10.4230/LIPIcs.CALCO.2019.8}
}