Jakie są najciekawsze równoważniki wynikające z izomorfizmu Curry-Howarda?

Z izomorfizmem Curry-Howarda zetknąłem się stosunkowo późno w moim życiu programistycznym i być może przyczynia się to do tego, że jestem nim całkowicie zafascynowany. Oznacza to, że dla każdej koncepcji programowania istnieje dokładny odpowiednik w logice formalnej i na odwrót. Oto „podstawowa”...