Timmany, AminAminTimmanySozeau, MathieuMathieuSozeau2021-10-262021-10-262018https://imec-publications.be/handle/20.500.12860/31952Cumulative inductive types in CoqProceedings paperhttps://lirias.kuleuven.be/1991543