A different definition of lambda-terms
A lambda-term is a tree, containing unary nodes (called lambda-nodes) and binary nodes (called apply-nodes), whose leaves contain a pointer to one of their unary ancestors.
This definition suggests a more graphical approach.