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 - 2025/05/17 ER -