https://josh-hs-ko.github.io/blog/0006/
Josh Ko: 看看程式语言学在干嘛

推喔！

m 起来！重读发现每一段还是需要一些背景知识。不知道一般的街头程式设计师，除了看 TaPL 外，还有没有其他材料可以了解 operational semantics ？

如果你的问题是这一篇的背景, 那要找的是 pi calculus的操作语意以及 session types如果像 TaPL 这么一般的介绍我也暂时想不到有什么课本可能找找上课讲义或投影片. 其他就是找特定主题的资料了例如讨论程式语言语意时, 一个场景是在原本语言之下还有抽象机器, 然后可以探讨抽象机器与原本语言的解释器之间有什么关系. 这里会应用操作语意又或者针对特定语言去应用操作语意来讨论 contextualequivalence 等等

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