A rewriting system for categorical combinators with multiple arguments

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 疋田 輝雄

  Department of Mathematics, Tokyo Metropolitan University

• 横内 寛文

  Tokyo Research Laboratory Ibm

• 疋田 輝雄

  Department Of Mathematics Tokyo Metropolitan University

関連論文

• The BC-chain Method for Representing Combinators in Linear Space(Software Science and Engineering)
• A rewriting system for categorical combinators with multiple arguments

スポンサーリンク