https://josh-hs-ko.github.io/blog/0006/
Josh Ko: 看看程式語言學在幹嘛

推喔！

m 起來！重讀發現每一段還是需要一些背景知識。不知道一般的街頭程式設計師，除了看 TaPL 外，還有沒有其他材料可以瞭解 operational semantics ？

如果你的問題是這一篇的背景, 那要找的是 pi calculus的操作語意以及 session types如果像 TaPL 這麼一般的介紹我也暫時想不到有什麼課本可能找找上課講義或投影片. 其他就是找特定主題的資料了例如討論程式語言語意時, 一個場景是在原本語言之下還有抽象機器, 然後可以探討抽象機器與原本語言的解釋器之間有什麼關係. 這裡會應用操作語意又或者針對特定語言去應用操作語意來討論 contextualequivalence 等等

啊，我整理一下去年遇到的問題好了 XD 可能要回一篇