Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks
- Magnus Baunsgaard Kristensen,
- ,
- Andrea Vezzosi
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
DanishArticle number
42Publication milestones
- Published - 2022
Publication status
Published - 2022
Publisher
Association for Computing Machinery, United StatesISBN (Print)
9781450393515Publication IDs
- Scopus: 85136936008
Host publication title
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer SciencePublication metrics
PlumX, opens in new tab
Captures
1
Citations
14
Access to documents
Accepted author manuscript
Accepted author manuscript, 799.08 KB
Related Event
Title
Annual ACM/IEEE Symposium on Logic in Computer Science
Event type
SymposiumDegree of recognition
International eventDate
02/08/2022 - 05/08/2022Location
HaifaIsrael