Cuando no usamos paréntesis, ¿cómo sabemos cómo interpretar la expresión? Para resolver esta ambigüedad, se establece una convención. La convención es que la aplicación es asociativa a la izquierda. Esto significa que fxy se interpreta como (fx)y.
Dados términos $M$, $N$ y $P$, ¿cómo se interpreta el término $\app{\app{M}{N}}{P}$?
Creemos un árbol sintáctico para la expresión $\app{\app{\app{f}{x}}{y}}{z}$ según la convención de asociatividad.
Creemos un árbol sintáctico para la expresión $\app{\app{f}{x}}{(\app{g}{y})}$