text: Например, тип ( P → Q → R ) → ( P → Q ) → P → R {\displaystyle (P\rightarrow Q\rightarrow R)\rightarrow (P\rightarrow Q)\rightarrow P\rightarrow R} в простом типизированном лямбда-исчислении соответствует высказыванию ( P ⇒ ( Q ⇒ R ) ) ⇒ ( ( P ⇒ Q ) ⇒ ( P ⇒ R ) ) {\displaystyle (P\Rightarrow (Q\Rightarrow R))\Rightarrow ((P\Rightarrow Q)\Rightarrow (P\Rightarrow R))} логики высказываний.