Enlargements of functional algebras for the lambda calculus
scientific article; zbMATH DE number 1190301