Nihil Shah

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Finite Model Theory

Qualitative And Quantitative

Top Venues

J. Log. Comput.

Publications

Amin Karamlou, Nihil Shah
No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads. LICS (2024)
Tomas Jakl, Dan Marsden, Nihil Shah
A categorical account of composition methods in logic (extended version). CoRR (2024)
Yoàv Montacute, Nihil Shah
The Pebble-Relation Comonad in Finite Model Theory. Log. Methods Comput. Sci. 20 (2) (2024)
Tomás Jakl, Dan Marsden, Nihil Shah
A categorical account of composition methods in logic. LICS (2023)
Tomás Jakl, Dan Marsden, Nihil Shah
A categorical account of composition methods in logic. CoRR (2023)
Samson Abramsky, Yoàv Montacute, Nihil Shah
Linear Arboreal Categories. CoRR (2023)
Tomás Jakl, Dan Marsden, Nihil Shah
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems. CoRR (2022)
Yoàv Montacute, Nihil Shah
The Pebble-Relation Comonad in Finite Model Theory. LICS (2022)
Samson Abramsky, Nihil Shah
Relating structure and power: Comonadic semantics for computational resources. J. Log. Comput. 31 (6) (2021)
Yoàv Montacute, Nihil Shah
The Pebble-Relation Comonad in Finite Model Theory. CoRR (2021)
Samson Abramsky, Nihil Shah
Relating Structure and Power: Extended Version. CoRR (2020)
Samson Abramsky, Nihil Shah
Relating Structure and Power: Comonadic Semantics for Computational Resources. CoRR (2018)
Samson Abramsky, Nihil Shah
Relating Structure and Power: Comonadic Semantics for Computational Resources. CSL (2018)
Samson Abramsky, Nihil Shah
Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract. CMCS (2018)