fromHackernoon1 year agoWhat Codata, Control Flow, and Logic Teach Us About Programming | HackerNoonThe original article which introduced the 𝜆𝜇𝜇˜-calculus as a term assignment system for the sequent calculus was by Curien and Herbelin [2000].Philosophy
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