線形論理の誕生

• 照井 一成

  京都大学数理解析研究所

書誌事項

タイトル別名

• The Birth of Linear Logic

収録刊行物

• 数学

  数学 62 (1), 115-132, 2010

  一般社団法人 日本数学会

詳細情報

• CRID: 1390001205066722688
• NII論文ID: 130004558902
• DOI: 10.11429/sugaku.0621115
• ISSN: 18836127
• ISSN: 0039470X
• MRID: 2664514
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • CiNii Articles