計算モデルについて(1) : ラムダ計算とパイ計算
スポンサーリンク
概要
著者
関連論文
- 中等教育機関における情報教育の実態調査と考察
- 女子短期大学におけるコンピュータリテラシーに関する一考察
- SECDマシン再訪
- 計算モデルについて(1) : ラムダ計算とパイ計算
- Standard ML上でのマルチスレッド処理の実現
- コンピュータアーキテクチャの現状と将来動向
- コンピュータプログラムのリバースエンジニアリングについて
- 女子短期大学における計算機科学教育の一事例
- 分散オブジェクト指向関数言語の実現 : 中間報告
- 高階分散型言語の比較
- 操作的意味論に基づく解釈実行系の試作
- オブジェクト指向プログラミングにおける型理論