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  - 2024/09/19

ER  -