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