Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract. - Samson Abramsky; Nihil Shah (CMCS, 2018)

Relating Structure and Power: Extended Version. - Samson Abramsky; Nihil Shah (CoRR, 2020)

Relating structure and power: Comonadic semantics for computational resources. - Samson Abramsky; Nihil Shah (J. Log. Comput., 2021)

A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems. - Tomas Jakl; Dan Marsden; Nihil Shah (CoRR, 2022)

A categorical account of composition methods in logic. - Tomas Jakl; Dan Marsden; Nihil Shah (LICS, 2023)

Linear Arboreal Categories. - Samson Abramsky; Yoàv Montacute; Nihil Shah (CoRR, 2023)

No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads. - Amin Karamlou; Nihil Shah (LICS, 2024)

A categorical account of composition methods in logic (extended version). - Tomas Jakl; Dan Marsden; Nihil Shah (CoRR, 2024)

The Pebble-Relation Comonad in Finite Model Theory. - Yoàv Montacute; Nihil Shah (Log. Methods Comput. Sci., 2024)