Grokking the Sequent Calculusを読む
シークエント計算に対応する言語𝜆𝜇𝜇˜-calculusを紹介する論文
コンパイラの中間言語に適している
継続渡しスタイルに似るが、型の扱いがより素直
Sequent Calculusへの変換