杉山 武司 | 姫路獨協大学経済情報学部

スポンサーリンク

概要

• 杉山 武司の詳細を見る
• 同名の論文著者
• 姫路獨協大学経済情報学部の論文著者

姫路獨協大学経済情報学部 | 論文

• インタラクションネット抽象機械の軽量化
• インタラクションネット抽象機械の軽量化
• 古典線形論理の計算的解釈Linear CHAMに基づく関数型言語とその並列実行モデル
• Linear CHAMを用いた型付きλ項の評価
• 古典線形論理の計算的解釈に基づく関数型言語の並列実行モデル

もっと見る

スポンサーリンク