论文标题
语义学？
Whither Semantics?
论文作者
论文摘要
我们讨论了数学语义是如何发展的，并为未来的工作提出了一些新的方向。例如，在有限模型理论的背景下，我们讨论了一些有关将模型比较游戏封装为ComOnads的工作。
We discuss how mathematical semantics has evolved, and suggest some new directions for future work. As an example, we discuss some recent work on encapsulating model comparison games as comonads, in the context of finite model theory.
