- 中古
- 書籍
- 書籍
プログラム意味論 情報数学講座7
定価 ¥4,070
2,970円 定価より1,100円(27%)おトク
獲得ポイント27P
在庫なし
発送時期 1~5日以内に発送
商品詳細
内容紹介 | |
---|---|
販売会社/発売会社 | 共立出版 |
発売年月日 | 1994/06/07 |
JAN | 9784320026575 |
- 書籍
- 書籍
プログラム意味論
商品が入荷した店舗:0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
プログラム意味論
¥2,970
在庫なし
商品レビュー
0
1件のお客様レビュー
形無しラムダ計算、型付きラムダ計算、表示的意味論、操作的意味論、実際の関数型言語への意味付けと一通り解説する。後半は圏論を導入し、領域方程式の方法で、ラムダ計算に意味を与える。積み上げる形式なので、続けて読んだ方が良い、間を空けると記法など忘れる。
Posted by