Results concerning the model theory of the untyped lambda calculus and the structure of the lattice of lambda theories have been recently obtained by algebraic and topological methods. In this talk we describe these results with a particular attention to the structure of graph lambda theories (i.e., theories of graph models).