#curry-howard-correspondence

#curry-howard-correspondence

The 𝜆𝜇𝜇˜-calculus connects with the sequent calculus through the introduction of connectives and examination of the Cut rule.