Lectures on Linear Logic, Anne S. Troelstra, CSLI, 1992

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 1994-03-15

著者

• 藤原 靖

  (株)東芝研究開発センターシステム・ソフトウェア生産技術研究所

関連論文

• Lectures on Linear Logic, Anne S. Troelstra, CSLI, 1992

スポンサーリンク