Parametric \(\lambda \)-theories
scientific article; zbMATH DE number 5292217