\(\lambda\)-definability of free algebras
\(\lambda \) -language over a simple type structure
scientific article; zbMATH DE number 4200169