08/01/31 12:15:01
正直、そういう質問が出るくらいだからまだ他に読む本があるはず。
プログラミング言語の新潮流
URLﾘﾝｸ(www.amazon.co.jp)
コンピュータサイエンス入門－論理とプログラム意味論
URLﾘﾝｸ(www.amazon.co.jp)
URLﾘﾝｸ(guppy.eng.kagawa-u.ac.jp)
「ラムダ計算 プログラミング言語の数学モデル」
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
>>387
> ページ数も少ないし読みやすそうなので
あれは純然たる数学の本の体裁だから、
プログラミング言語入門的な本に比べると、
十万ページくらいある感じですよ。
あのシリーズは余分な解説はほとんどなくて骨子のみだし。