PhilosophyfromHackernoon1 year agoWhat Codata, Control Flow, and Logic Teach Us About Programming | HackerNoonThe πππΛ-calculus serves as a core term assignment system for the sequent calculus.
fromHackernoon1 year agoWhat Functional Programmers Can Learn from Sequent Calculus | HackerNoonA central feature of the λμμΛ-calculus is the treatment of evaluation contexts as first-class objects, which plays a significant role in term evaluation.Philosophy