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

Magnus Baunsgaard Kristensen, Rasmus Ejlers Mgelberg, Andrea Vezzosi

Browse the full LICS paper archive.