A finite equational axiomatization of the functional algebras for the lambda calculus
scientific article; zbMATH DE number 1271055
scientific article