@article{article, title = {{Supernominal Datatypes and Codatatypes}}, publisher = {{Open Publishing Association}}, url = {{http://dx.doi.org/10.4204/eptcs.332.0.2 }}, year = {{2021}}, month = {{1}}, author = {{Popescu A}}, doi = {{10.4204/eptcs.332.0.2}}, volume = {{332}}, journal = {{Electronic Proceedings in Theoretical Computer Science}}, note = {{Accessed on 2024/12/23}}}