TY - JOUR T1 - Witnessing (Co)datatypes UR - http://dx.doi.org/10.1007/978-3-662-46669-8_15 PY - 2015/01/01 AU - Blanchette JC AU - Popescu A AU - Traytel D ED - DO - DOI: 10.1007/978-3-662-46669-8_15 PB - Springer Berlin Heidelberg SP - 359 EP - 382 Y2 - 2025/07/03 ER -