On the algebraic models of lambda calculus