林 晋 | 京都大学数理解析研究所

スポンサーリンク

概要

• 同名の論文著者
• 京都大学数理解析研究所の論文著者

関連著者

• 林 晋

  京都大学数理解析研究所

著作論文

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

スポンサーリンク