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 chapter › Article in proceedings › Research › peer-review

Original language	Danish
Title of host publication	Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Number of pages	13
Publisher	Association for Computing Machinery
Publication date	2022
Article number	42
ISBN (Print)	9781450393515
DOIs	https://doi.org/10.1145/3531130.3533359
Publication status	Published - 2022

Access to Document

@inproceedings{5a4e8bf3158b420f9edb163d8f9a1f70,

title = "Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks",

author = "Kristensen, {Magnus Baunsgaard} and M{\o}gelberg, {Rasmus Ejlers} and Andrea Vezzosi",

year = "2022",

doi = "10.1145/3531130.3533359",

language = "Dansk",

isbn = "9781450393515",

booktitle = "Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science",

publisher = "Association for Computing Machinery",

address = "USA",

}

Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks. / Kristensen, Magnus Baunsgaard; Møgelberg, Rasmus Ejlers; Vezzosi, Andrea.
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 2022. 42.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

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

AU - Kristensen, Magnus Baunsgaard

AU - Møgelberg, Rasmus Ejlers

AU - Vezzosi, Andrea

PY - 2022

Y1 - 2022

U2 - 10.1145/3531130.3533359

DO - 10.1145/3531130.3533359

M3 - Konferencebidrag i proceedings

SN - 9781450393515

BT - Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

PB - Association for Computing Machinery

ER -