Bin ich verblödet, oder ist diese Art der Darstellung nicht eindeutig? https://tromp.github.io/cl/diagrams.html

[Erklärung ist auf der Seite gegeben, will ich jetzt hier nicht nochmal alles auf Deutsch übersetzen. Bitte einfach durchlesen.]

Ein Beispiel für beta-reduction ist auch gegeben, Trotzdem verstehe ich nicht, wie man hier die Reihenfolge in der ich die Applications "applicatet" werden müssen herauslesen soll.