TY - CONF T1 - Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving JO - 2012 27th Annual IEEE Symposium on Logic in Computer Science UR - http://dx.doi.org/10.1109/lics.2012.75 PY - 2012/10/11 AU - Traytel D AU - Popescu A AU - Blanchette JC ED - DO - DOI: 10.1109/lics.2012.75 PB - IEEE Y2 - 2025/04/08 ER -