>>12
なるほど，そうですか．
アマゾンにはなさそうなので，探してみます．

>>13
>>14
Web 上で公開されていた
Barendregt et al., `Introduction to Lambda Calculus', 2000
が良さそうかなぁ，と思って眺め始めたところです．
型付きλ計算は，型なしをかじってからにしようと思ってます．

>>15
>とりあえず面白そうだというのが動機ということでいいかな。

はい．

>λ計算が必要になる方向は山ほどあるが、例えば>>14のBarendregtのようなのは王道。

>>14 のタイトルを眺めると，数学の命題証明に使うんですかね?

>こっちからも質問させてもらうが、キミは学部にいるのかな？ 学科や学年など、
>差し支えない範囲で知りたいのだけれど。高校生ならそれもまた良し。

ソフトウェアの研究開発部門で働いている社会人です．
しかし大学では CS 関連教育を受けていたわけではないので，ある意
味高校生と同レベルです．初心に帰って勉強したいです．

>>>12
>Amazonのレビュワーなんか信用できないよね。
>補うために横内みたいなのを薦めるあたり狂ってる。

そうですか．
とりあえず >>9 は注文したので，届くまでは Web 上の文献と高橋
『計算論』を見比べてうんうん唸っておきます．