長谷川 真人 | 京都大学数理解析研究所

スポンサーリンク

概要

• 長谷川 真人の詳細を見る
• 同名の論文著者
• 京都大学数理解析研究所の論文著者

関連著者

• 長谷川 真人

  京都大学数理解析研究所

• 長谷川 真人

  京都大学

• 藤田 憲悦

  群馬大学

• 藤田 憲悦

  群馬大学大学院工学研究科

著作論文

• 再帰プログラムの意味論について
• 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参加報告
• 大晦日の草稿(特集・新世紀フォーラム)
• 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ

スポンサーリンク