型理論I (<特集>関数型プログラミングと計算の基礎)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人日本ソフトウェア科学会の論文
• 1991-01-14

著者

• 龍田 真

  東北大学電気通信研究所

関連論文

• 型理論IV
• 型理論III
• 型理論II
• 型理論I (関数型プログラミングと計算の基礎)
• Jean-Yves Girard, Paul Taylor and Yves Lafont 著, "Proofs and types", Cambridge University Press, 176p., 1989

スポンサーリンク