The discriminating power of multiplicities in the \(\lambda\)-calculus
scientific article; zbMATH DE number 896651