@article{article, title = {{Witnessing (Co)datatypes}}, publisher = {{Springer Berlin Heidelberg}}, url = {{http://dx.doi.org/10.1007/978-3-662-46669-8_15 }}, year = {{2015}}, month = {{1}}, author = {{Blanchette JC and Popescu A and Traytel D}}, doi = {{10.1007/978-3-662-46669-8_15}}, pages = {{359-382}}, note = {{Accessed on 2024/12/26}}}