日本語で書かれた数少ないコンピュータサイエンスの教科書の一つです。
特に、現在のプログラミング言語の基礎理論であるラムダ計算や、プログラミング言語の意味論を丁寧に解説してあります。
この本以外で上記の情報を探すと、英語の本や論文しか見つからないのが実情です。

以下はブックレビュー社の解説引用です。

-----

コンピューターが動作する基本原理を,アルゴリズム編とプログラミング言語編の2部構成で教える教科書
パソコンなどのディジタル・コンピューターがどういう仕掛けで動いているかを,研究・開発者の"卵"向けに書き下した教科書。京都大学数理解析研究所の教官グループが専門学科の学生ばかりでなく,非専門学科の文化系の学生でも理解できるように数理科学の1つであるコンピューター・サイエンスを解説した入門書。新進の学生に,基礎からじっくり説明する。

本書は2部構成で,前半の「アルゴリズム」編では,問題解決の具体的な手順であるアルゴリズムとは何かをその性質から定義し,プログラムの中でのアルゴリズムの持つ重要さを学ぶ。さらに,計算速度の向上に果たすアルゴリズムの根本的な改善を教える。具体的な計算に用いる各アルゴリズムを分かりやすく説明している。

後半の「プログラミング言語」編は,基本原理や言語の役割,構造を解説する。膨大なプログラムからなるソフトウエアが高い信頼性を誇るには,プログラミング言語の諸機能の相互関係が整合性がとれていて,意味が厳密で,系統的な実装方式が確立していることなどが求められることを説明する。 (ブックレビュー社)
(Copyright©2000 ブックレビュー社.All rights reserved.)