プログラム意味論 情報数学講座7

横内寛文(著者)

• 販売会社／発売会社: 共立出版
• 発売年月日: 1994/06/07
• JAN: 9784320026575

商品レビュー

2015/04/29

形無しラムダ計算、型付きラムダ計算、表示的意味論、操作的意味論、実際の関数型言語への意味付けと一通り解説する。後半は圏論を導入し、領域方程式の方法で、ラムダ計算に意味を与える。積み上げる形式なので、続けて読んだ方が良い、間を空けると記法など忘れる。