横内 寛文 | Tokyo Research Laboratory Ibm

スポンサーリンク

概要

• 横内 寛文の詳細を見る
• 同名の論文著者
• Tokyo Research Laboratory Ibmの論文著者

関連著者

• 疋田 輝雄

  Department of Mathematics, Tokyo Metropolitan University

• 横内 寛文

  Tokyo Research Laboratory Ibm

• 疋田 輝雄

  Department Of Mathematics Tokyo Metropolitan University

著作論文

• A rewriting system for categorical combinators with multiple arguments

スポンサーリンク