Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original languageEnglish
Title of host publicationLICS 2012
Number of pages10
PublisherIEEE Computer Society Press
Publication date2012
Pages596-605
DOIs
Publication statusPublished - 2012
Externally publishedYes

ID: 245668261