PhilosophyfromHackernoon1 year agoWhat Sequent Calculus Teaches Us About Computation | HackerNoonThe 𝜆𝜇𝜇˜-calculus connects with the sequent calculus through the introduction of connectives and examination of the Cut rule.