FPCA '93

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 1994-01-17

著者

• 吉田 展子

  インペリアルカレッジロンドン

• 吉田 展子

  慶應義塾大学理工学部

• 吉田 展子

  慶應義塾大学理工学研究科計算機科学専攻

関連論文

• 英国からの報告
• ν計算・並行結合子・プログラミング言語
• ν計算・並行結合子・プログラミング言語
• 名前通信プロセス計算の並行コンビネータ
• FPCA '93
• 2.π-計算とその周辺 (並行計算の理論の最近の動向)
• 共有環境を用いた弱λ-計算における最適簡約定理
• 並行計算のための簡約意味論
• 簡約意味論の理論と実践

スポンサーリンク