There's an interesting graphical notation for the lambda calculus here: http://www.cs.virginia.edu/~evans/cs655/readings/mockingbird.html http://www.cs.virgini

There's an interesting graphical notation for the lambda calculus here: http://www.cs.virginia.edu/~evans/cs655/readings/mockingbird.html http://www.cs.virginia.edu/~evans/cs655/readings/mockingbird...