  We introduce and study graphic lambda calculus, a visual language which can
be used for representing untyped lambda calculus, but it can also be used for
computations in emergent algebras or for representing Reidemeister moves of
locally planar tangle diagrams.
