EasyChair Smart Slide
Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction Under Clocks
Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction Under Clocks