Difference between revisions of "Public:Game Comonad Resources"
(→Publications: adding a paper by Samson and Luca) |
m (→Publications: adding the predecessor to everything) |
||
Line 5: | Line 5: | ||
* 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] |
||
* Anuj Dawar, Simone Severini, and Octavio Zapata. "Pebble games and cospectral graphs." Electronic Notes in Discrete Mathematics 61 (2017): 323-329. [https://doi.org/10.1016/j.endm.2017.06.055 doi] |
|||
* Samson Abramsky 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 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. |
Revision as of 12:20, 25 February 2021
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
- Anuj Dawar, Simone Severini, and Octavio Zapata. "Pebble games and cospectral graphs." Electronic Notes in Discrete Mathematics 61 (2017): 323-329. doi
- Samson Abramsky 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.
- Samson Abramsky, Dan Marsden. "Comonadic semantics for guarded fragments." arXiv:2008.11094
- Thomas Paine. "A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem." Electronic Notes in Theoretical Computer Science, 352, 191-209. doi
- Adam Ó Conghaile, Anuj Dawar. "Game Comonads & Generalised Quantifiers." arXiv:2006.16039
- Samson Abramsky and Nihil Shah. "Relating Structure and Power: Extended Version" arXiv:2010.06496
- Anuj Dawar. "Constraint Satisfaction, Graph Isomorphism, and the Pebbling Comonad." to appear
- Samson Abramsky, Luca Reggio. "Arboreal Categories: An Axiomatic Theory of Resources." arXiv:2102.08109
Theses/reports:
- Nihil Shah: Game Comonads in Finite Model Theory (Master Thesis) [1]
- Adam Ó Conghaile: Game comonads, descriptive complexity & finite model theory (First Year Report) [2]
Talks (with slides)
Thomas Paine. Game Comonads and an application to the Equirank-variable conjecture (at MFPS 2020) [3]
- Dan Marsden: Guards, Structure and Power
- Adam Ó Conghaile: Game comonads and generalised quantifiers
- Nihil Shah: Path-width and restricting conjunction in k-variable logic
Samson's talks on the topic:
- Coalgebra Dreams [4]
- Relating Structure to Power:Comonadic semantics for computational resources [5]
Related:
- Nihil Shah - Cofree Comonads and their Uses (at LamdaConf), recording on youtube