出版社内容情報
【解説】
形式的論理体系に基づく新しいプログラミング言語を，その基礎理論からプログラミング方法論にわたり，実際の言語をとりあげながら解説した。
【目次】
ラムダ計算・S‐表現に基づくプログラミング言語・LISP・Prolog他
目次
ラムダ計算
Ｓ‐表現に基づくプログラミング言語
Ｓｃｈｅｍｅ―ラムダ計算と手続き型言語との接点
ＬＩＳＰ
ラムダ計算に基づく関数型言語
ＦＰ‐関数レベルでのプログラミング言語
論理型言語の計算モでルとしての一階述語論理
Ｐｒｏｌｏｇ
型付きプログラミング言語
