本を探す
Scrapbox
「L. Allison」の検索結果
A Practical Introduction to Denotational Semantics (Cambridge Computer Science Texts)
読み虫