Sequent calculus

• Wiki
• nLab

授業

(哲学的)論理学と(論理学の)哲学を研究している大西 琢朗の授業動画

• シークエント計算 (2024年度哲学演習I)
• レジュメ

高崎金久

シークェント計算

ブログ

Compiler Engineering for Substructural Languages I: The Problem with Polymorphism

論文

• Sequent calculus as a compiler intermediate language

• Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation

• Github

David Binder, Marco Tzschentke, Marius Müller, and Klaus Ostermann. 2024. Grokking the Sequent Calculus (Functional Pearl). Proc. ACM Program. Lang. 8, ICFP, Article 250 (August 2024), 31 pages. https://doi.org/10.1145/3674639

関連リンク

• Focusing