Greatest HITs: higher inductive types in coinductive definitions via induction under clocks

DOI10.1145/3531130.3533359MaRDI QIDQ6649477

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

Publication date: 6 December 2024

Mathematics Subject Classification ID

Type theory (03B38)

This page was built for publication: Greatest HITs: higher inductive types in coinductive definitions via induction under clocks