Was sind die interessantesten Äquivalenzen, die sich aus dem Curry-Howard-Isomorphismus ergeben?
Ich bin relativ spät in meinem Programmierleben auf den Curry-Howard-Isomorphismus gestoßen , und vielleicht trägt dies dazu bei, dass ich davon total fasziniert bin. Dies impliziert, dass es für jedes Programmierkonzept ein genaues Analogon in der formalen Logik gibt und umgekehrt. Hier ist eine...