@进行中{0001S18-9，title={Codata类型相等的不确定性}，作者={Ulrich Berger 0001和Anton Setzer}，年份={2018年}，doi={10.1007/978-3-030-00389-04}，url={https://doi.org/10.1007/978-3-030-00389-0_4},研究人员={https://researchr.org/publication/0001S18-9},引用={0}，引用者={0}，页数={34-55}，booktitle={计算机科学中的协同代数方法-第14届IFIP WG 1.3国际研讨会，CMCS 2018，与ETAPS 2018并列，希腊塞萨洛尼基，2018年4月14日至15日，修订论文集}，editor={Corina Cêrstea}，体积={11202}，series={计算机科学讲稿}，publisher={Springer}，isbn={978-3-030-00389-0}，}