Isomorfismi

«Finally, the expression εφ(M) is a ‘miracle of type φ.’ If M : ⊥ then M is “the thing which it is not.” Once we have achieved the impossible, we should be able to whatever we wish.»

(Sorensen & Urzyczyn, Lectures on the Curry-Howard Isomorphism).