Relating structure and power: Comonadic semantics for computational resources S Abramsky, N Shah Journal of Logic and Computation 31 (6), 1390-1428, 2021 | 60 | 2021 |
The pebble-relation comonad in finite model theory Y Montacute, N Shah Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 18 | 2022 |
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems T Jakl, D Marsden, N Shah arXiv preprint arXiv:2205.05387, 2022 | 7 | 2022 |
Generalizations of Bilinear Maps--Technical Report T Jakl, D Marsden, N Shah arXiv preprint arXiv:2205.05382, 2022 | 3 | 2022 |
A categorical account of composition methods in logic T Jakl, D Marsden, N Shah 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 2 | 2023 |
Relating Structure and Power: Extended version S Abramsky, N Shah arXiv preprint arXiv:2010.06496, 2020 | 2 | 2020 |
Relating Structure and Power: Comonadic Semantics for Computational Resources-Extended Abstract S Abramsky, N Shah Coalgebraic Methods in Computer Science, CMCS, 1-5, 2018 | 2 | 2018 |
Linear arboreal categories S Abramsky, Y Montacute, N Shah arXiv preprint arXiv:2301.10088, 2023 | 1 | 2023 |
Comonadic Account of Feferman-Vaught-Mostowski Theorems T Jakl, D Marsden, N Shah complexity 2, 19, 2022 | | 2022 |
Bisimulation between hom sets and logics without counting N Shah Structure Meets Power Workshop, 23, 2021 | | 2021 |
A categorical account of composition methods in logic D Marsden, N Shah, T Jakl | | |