Journal article
Whither semantics?
- Abstract:
- 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.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 292.6KB, Terms of use)
-
- Publisher copy:
- 10.1016/j.tcs.2019.06.029
Authors
- Publisher:
- Elsevier
- Journal:
- Theoretical Computer Science More from this journal
- Volume:
- 807
- Pages:
- 3-14
- Publication date:
- 2019-07-16
- Acceptance date:
- 2019-06-12
- DOI:
- ISSN:
-
0304-3975
- Language:
-
English
- Keywords:
- Pubs id:
-
pubs:1012034
- UUID:
-
uuid:30f78e9f-207f-4462-b306-727c95adcb74
- Local pid:
-
pubs:1012034
- Source identifiers:
-
1012034
- Deposit date:
-
2019-06-12
- ARK identifier:
Terms of use
- Copyright holder:
- Elsevier
- Copyright date:
- 2019
- Rights statement:
- © 2019 Elsevier B.V. All rights reserved.
- Notes:
- This is the accepted manuscript version of the article, available under the terms of a Creative Commons, Attribution, Non-Commercial, No Derivatives licence. The final version is available online from Elsevier at: https://doi.org/10.1016/j.tcs.2019.06.029
If you are the owner of this record, you can report an update to it here: Report update to this record