ログイン新規登録

メニュー

プログラム意味論 (情報数学講座)

プログラム意味論 (情報数学講座)

横内寛文

みんなの評価・レビューを見る

この本の所有者

放浪猫さん

1人が登録

727回参照

2014年5月28日に更新

詳細ページを見る Amazonで検索

書籍情報

ページ数:: 261ページ
参照数:: 727回
登録日:: 2014/05/28
更新日:: 2014/05/28
所有者:: 放浪猫さん

タグ

プログラム数学

この本を共有する

X

読書履歴

2014/05/28 38ページとりあえずラムダ計算の基礎を流し読み。推論規則の記法に馴染みがない。

ログインが必要です

この本をレビューしたり、読書進捗を記録するにはログインが必要です。

放浪猫 Lv.12