疋田 輝雄 | Department of Mathematics, Tokyo Metropolitan University
スポンサーリンク
概要
関連著者
-
疋田 輝雄
Department of Mathematics, Tokyo Metropolitan University
-
疋田 輝雄
Department Of Mathematics Tokyo Metropolitan University
-
野下 浩平
Department Of Computer Science Denkitusin University
-
横内 寛文
Tokyo Research Laboratory Ibm
著作論文
- The BC-chain Method for Representing Combinators in Linear Space(Software Science and Engineering)
- A rewriting system for categorical combinators with multiple arguments