Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
scientific article; zbMATH DE number 741095