Functional pearl: folding polynomials of polynomials
scientific article; zbMATH DE number 6900726
scientific article