Whither semantics?
Whither semantics?
复制标题
语义在哪里？
DOI：
10.1016/j.tcs.2019.06.029
复制
发表时间：
2020
影响因子：
1.1
通讯作者：
Abramsky S
中科院分区：
文献类型：
--
作者：
Abramsky S
我们讨论了如何数学语义的演变，并提出了一些新的方向，为今后的工作。作为一个例子，我们讨论了一些最近的工作封装模型比较游戏作为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.
登录
查看更多内容
DOI：
10.1145/1379759.1379763
发表时间：
2008
期刊：
J. ACM
影响因子：
--
作者：
Benjamin Rossman
通讯作者：
Benjamin Rossman
影响因子：
1
作者：
SHELAH, S
通讯作者：
SHELAH, S
计算的共元概念
DOI：
--
发表时间：
2008
期刊：
International Workshop on Coalgebraic Methods in Computer Science
影响因子：
--
作者：
Tarmo Uustalu;Varmo Vene
通讯作者：
Varmo Vene
影响因子：
1
作者：
COURCELLE, B
通讯作者：
COURCELLE, B
维也纳定义语言
DOI：
--
发表时间：
1972
期刊：
CSUR
影响因子：
--
作者：
P. Wegner
通讯作者：
P. Wegner