Greatest HITs: higher inductive types in coinductive definitions via induction under clocks
scientific article; zbMATH DE number 7954857
scientific article