Ohori Atsushi | Research Institute For Mathematical Sciences Kyoto University

スポンサーリンク

概要

• Ohori Atsushiの詳細を見る
• 同名の論文著者
• Research Institute For Mathematical Sciences Kyoto Universityの論文著者

関連著者

• Ohori Atsushi

  Research Institute For Mathematical Sciences Kyoto University

• Hashimoto Masatomo

  Research Institute for Mathematical Sciences, Kyoto University

著作論文

• A Typed Context Calculus(Type Theory and its Applications to Computer Systems)

スポンサーリンク