「記号と再帰」のような、プログラミング言語をちょっとかわった視点で捉えて考える本が読みたいです。

なにか紹介していただけないでしょうか。