http://dkeenan.com/Lambda/ David C. Keenan, To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
Хороша идея, мне понравилось. Только не на птиц это дело похоже, а на трубопровод. Осталось неясно, что имеется в виду под "once removed ..."