TY  - CONF

T1  - Foundational nonuniform (Co)datatypes for higher-order logic

JO  - 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

PY  - 2017/08/10

AU  - Blanchette JC

AU  - Meier F

AU  - Popescu A

AU  - Traytel D

ED  - 

DO  - DOI: 10.1109/lics.2017.8005071

PB  - IEEE

SN  - 9781509030194

Y2  - 2024/12/23

ER  -