«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).
Nondum erant abyssi, et iam concepta erat. (Contact e-mail: caldarella.sergio@googlemail.com)