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 Sequent Calculus Teaches Us About Computation | HackerNoonIn the classical sequent calculus, both the premises and the conclusion of a derivation rule consist of sequents Γ ⊢ Δ, where Γ and Δ are multisets of formulas.Philosophy