Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks

Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Original languageDanish
Title of host publicationProceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Number of pages13
PublisherAssociation for Computing Machinery
Publication date2022
Article number42
ISBN (Print)9781450393515
Publication statusPublished - 2022

Cite this