型理論

スポンサーリンク

概要

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

著者

• 林 晋

  京都大学数理解析研究所

関連論文

• 自己相似集合とタルスキーの不動点 : 自己参照系とフラクタル
• 関数型言語における型理論 (関数型プログラミングとその応用)
• 型理論
• カテゴリーと代数仕様の基礎
• 証明とプログラム--もう一つの論理プログラミング (応用論理)

スポンサーリンク