@inproceedings{inproceedings, title  = {{Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving}},

 publisher = {{IEEE}},

 url = {{http://dx.doi.org/10.1109/lics.2012.75 }},

 year = {{2012}},

 month = {{10}},

 author = {{Traytel D and Popescu A and Blanchette JC}},

 doi = {{10.1109/lics.2012.75}},

 journal = {{2012 27th Annual IEEE Symposium on Logic in Computer Science}},

 note = {{Accessed on 2024/12/23}}}