Визуализация лямбда-исчисления — применение функции к аргументу. Эта визуализация объясняет применение функций в лямбда-исчислении с помощью структуры, а не текста. Верхний левый блок представляет собой абстракцию: маркер лямбда указывает на пунктирное поле ввода, а тело рядом содержит два пунктирных заполнителя, соединенных одной дугой, что показывает, что это одна и та же связанная переменная, а квадрат обозначает константный терм