Sequent Calculus as a Compiler Intermediate Language [pdf]microsoft.com3 points·rntz··0 commentsOpen articleSaveView on HN