直観主義論理と型理論 (<特集>非標準論理とその応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1989-06-15

著者

• 桜井 貴文

  都立大学数学科

関連論文

• 直観主義論理と型理論 (<特集>非標準論理とその応用)

スポンサーリンク