復刊投票コメント一覧

読みたいが中古本もない

概観をつかめそうで面白そう

ぜひ、読みたい！

ラムダ計算に関する数少ない日本語の教科書。今後の学習者のためにも、ぜひ復刊をお願いいたします。

基本重要

プログラム意味論と共に読みたい。

評価文脈付きの簡約規則について日本語で解説している数少ない(唯一かも？)の書籍のため。
現状、継続関連などの論文を読む前提知識について学びにくくなってしまっている。

同シリーズのプログラム意味論とともによく良書と言われている。
プログラム意味論が復刊したので、ぜひこちらも読みたい。

プログラミング言語モデルについて記述された貴重な邦書であるため。

プログラミング言語について，とくに強い静的型システムを持ったものについての日本語のテキストとして価値が高い．是非とも入手しやすくなって欲しい．

図書館で借りて読みましたが，とてもいい本です．是非手元に置きたいと思っています．

内容に興味があります。

「型システム入門」(原著：Types and Programming Langugaes)も翻訳された今だからこそ。

同シリーズの「プログラム意味論」を所持しています。内容的に併せて読みたいです。

良書と聞きますが古書店での値段が高すぎて手が出せません

モデル検査や関数型言語の浸透により、プログラミング言語の理論的扱いを学習しようという機運が高まりつつあります。
本書はそういった動機の人が読みやすく書かれていると聞いています。

ラムダ計算、チャーチエンコーディング、型推論が学べる良書です。復刊を期待します。

ラムダ計算、プログラミング理論の基礎を学びたい。

単一化アルゴリズムの停止性について調べる上で、とても役に立ちました。素晴らしい本であるというのはほぼ間違い無いので、手元に一冊欲しいです。

プログラミング言語の基礎概念という本で参考文献として紹介されているが、現在絶版で、古本では高価なものしか流通していないため。