Vi que algunas personas usan la notación de Krivine para la aplicación de funciones cuando presentan la sintaxis para el cálculo . Por ejemplo, el λ -term λ f . λ x . λ y . f x y (con la convención normal de que la aplicación de función se asocia a la izquierda, por lo que en realidad significa que λ f . λ x . λ y . ( ( f x ) y ) ) se escribe λ f . λ x . λ y (con una convención similar que en realidad significa λ f . λ x . λ y . ( ( f ) x ) y ). No veo el punto de tener otro par de paréntesis alrededor del f más interno. ¿Por qué las personas usan la notación de Krivine en lugar de la habitual?