Publisher
Springer International Publishing
Reference30 articles.
1. Abramsky, S., Dawar, A., Wang, P.: The pebbling comonad in finite model theory. In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1–12. IEEE (2017)
2. Abramsky, S., Marsden, D.: Comonadic semantics for guarded fragments. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1–13. IEEE (2021)
3. Abramsky, S., Reggio, L.: Arboreal categories and resources. In: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), pp. 115:1–115:20. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2021)
4. Abramsky, S., Shah, N.: Relating structure and power: Comonadic semantics for computational resources. J. Log. Comput. 31(6), 1390–1428 (2021)
5. Abramsky, S., Tzevelekos, N.: Introduction to categories and categorical logic. In: New Structures for Physics, pp. 3–94. Springer Berlin, Heidelberg (2010). https://doi.org/10.1007/978-3-642-12821-9
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Invitation to Game Comonads;ACM SIGLOG News;2024-07
2. A categorical account of composition methods in logic;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26