Синтаксическое дерево для лямбда-исчисления

Я пытаюсь придумать, как нарисовать синтаксическое дерево для приведенного ниже выражения. Во-первых, как именно это себя ведет? Похоже, он принимает 1 и 2 в качестве параметров, и если nравно 0, он просто вернет m.

Кроме того, может ли кто-нибудь указать начало разбора дерева или пример? Я не смог найти ни одного.