Sequent Calculus as a Compiler Intermediate Language (2016) [pdf]microsoft.com1 point·sctb··0 commentsOpen articleSaveView on HN