Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 長谷川 真人

  京都大学数理解析研究所

関連論文

• 再帰プログラムの意味論について
• A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)
• Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics)
• TACS2001参加報告
• 大晦日の草稿(特集・新世紀フォーラム)
• 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ

スポンサーリンク