PhilosophyfromHackernoon2 years agoWhat Functional Programmers Can Learn from Sequent Calculus | HackerNoonEvaluation contexts in the λμμ˜-calculus are treated as first-class objects, significantly influencing term evaluation.