線形論理の誕生

スポンサーリンク

概要

• 論文の詳細を見る
• 日本数学会の論文
• 2010-01-27

著者

• 照井 一成

  京都大学数理解析研究所

関連論文

• 線形論理の誕生

スポンサーリンク