fromHackernoon1 year agoWhat Codata, Control Flow, and Logic Teach Us About Programming | HackerNoonThe 𝜆𝜇𝜇˜-calculus serves as a core term assignment system for the sequent calculus.
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.