Berger, U., & Setzer, A. (2018). Undecidability of Equality for Codata Types. Coalgebraic Methods in Computer Science, 11202, pp. 34-55. doi:10.1007/978-3-030-00389-0_4
Chicago Style CitationBerger, Ulrich, and Anton Setzer. "Undecidability of Equality for Codata Types." Coalgebraic Methods in Computer Science 11202 (2018): 34-55.
MLA CitationBerger, Ulrich, and Anton Setzer. "Undecidability of Equality for Codata Types." Coalgebraic Methods in Computer Science 11202 (2018): 34-55.
Warning: These citations may not always be 100% accurate.