TY - JOUR T1 - Supernominal Datatypes and Codatatypes JO - Electronic Proceedings in Theoretical Computer Science UR - http://dx.doi.org/10.4204/eptcs.332.0.2 PY - 2021/01/12 AU - Popescu A ED - DO - DOI: 10.4204/eptcs.332.0.2 PB - Open Publishing Association VL - 332 Y2 - 2025/06/23 ER -