A representation theorem for lambda abstraction algebras