Equational theories for inductive types
scientific article; zbMATH DE number 1004149
scientific article