📕プログラム意味論の基礎
https://scrapbox.io/files/65d04d974b71530026649268.png
著者:
小林直樹
住井英二郎
出版社:
サイエンス社
発行年月日:
所持形式:
物理本
購入年月日:
2024年2月
読書履歴:
2024年2月
分野:
意味論
コンピュータサイエンス
文体: 教科書
状態:
読了
感想:
ラムダ計算は事前に学習していたので読めた。5章のホーア論理あたりから怪しくなってきたので5章以降の勉強は別の本でやる必要がありそう。