Difference between revisions of "Public:Game Comonad Resources"
(Created page with " == Publications == * Samson Abramsky, Anuj Dawar, and Pengming Wang. "The pebbling comonad in finite model theory." 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer...") |
m |
||
| Line 1: | Line 1: | ||
== Publications == |
== Publications == |
||
Papers |
|||
* Samson Abramsky, Anuj Dawar, and Pengming Wang. "The pebbling comonad in finite model theory." 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. [https://arxiv.org/pdf/1704.05124.pdf arXiv:1704.05124] |
* Samson Abramsky, Anuj Dawar, and Pengming Wang. "The pebbling comonad in finite model theory." 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. [https://arxiv.org/pdf/1704.05124.pdf arXiv:1704.05124] |
||
* Abramsky, Samson, and Nihil Shah. "Relating Structure and Power: Comonadic semantics for computational resources." International Workshop on Coalgebraic Methods in Computer Science. Springer, Cham, 2018. [https://arxiv.org/pdf/1806.09031.pdf arXiv:1806.09031] |
* Abramsky, Samson, and Nihil Shah. "Relating Structure and Power: Comonadic semantics for computational resources." International Workshop on Coalgebraic Methods in Computer Science. Springer, Cham, 2018. [https://arxiv.org/pdf/1806.09031.pdf arXiv:1806.09031] |
||
* Samson Abramsky. "Whither semantics?." Theoretical Computer Science 807 (2020): 3-14. |
* Samson Abramsky. "Whither semantics?." Theoretical Computer Science 807 (2020): 3-14. |
||
Theses/reports: |
|||
* Nihil Shah: Game Comonads in Finite Model Theory (Master Thesis) |
|||
* Adam Ó Conghaile: Game comonads, descriptive complexity & finite model theory (First Year Report) [https://www.cl.cam.ac.uk/~ac891/images/FirstYearReport.pdf] |
|||
== Talks (with slides) == |
== Talks (with slides) == |
||
Revision as of 17:25, 15 May 2020
Publications
Papers
- Samson Abramsky, Anuj Dawar, and Pengming Wang. "The pebbling comonad in finite model theory." 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2017. arXiv:1704.05124
- Abramsky, Samson, and Nihil Shah. "Relating Structure and Power: Comonadic semantics for computational resources." International Workshop on Coalgebraic Methods in Computer Science. Springer, Cham, 2018. arXiv:1806.09031
- Samson Abramsky. "Whither semantics?." Theoretical Computer Science 807 (2020): 3-14.
Theses/reports:
- Nihil Shah: Game Comonads in Finite Model Theory (Master Thesis)
- Adam Ó Conghaile: Game comonads, descriptive complexity & finite model theory (First Year Report) [1]
Talks (with slides)
- Dan Marsden: Guards, Structure and Power
- Adam Ó Conghaile: Game comonads and generalised quantifiers
- Nihil Shah: Path-width and restricting conjunction in k-variable logic
