Я видел, что некоторые люди используют нотацию Кривина для приложения функции при представлении синтаксиса для -исчисление. Например,-срок (с обычным соглашением, что приложение функции ассоциируется слева, так что это на самом деле означает ) написано (с похожим соглашением, которое на самом деле означает ). Я не вижу смысла иметь еще одну пару скобок вокруг самого внутреннего, Почему люди используют обозначение Кривина вместо обычного?