VEX (Visual EXpressions)
visual representation of lambda expressions
expression-oriented component of VIPR
motivation : to provide a more effective method for teaching lambda calculus than by textual methods
paper presents pure untyped lambda calculus with discussion of how to extend it
includes graphical definitions of a-conversion, b-reduction, and h-reduction