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

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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Dansk
Titel	Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Antal sider	13
Forlag	Association for Computing Machinery
Publikationsdato	2022
Artikelnummer	42
ISBN (Trykt)	9781450393515
DOI	https://doi.org/10.1145/3531130.3533359
Status	Udgivet - 2022

Adgang til dokumentet

@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.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -