Nihil Shah

According to our database, Nihil Shah authored at least 10 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras.

Anuj Dawar, Nihil Shah

CoRR, February, 2026

2025

A categorical account of composition methods in logic (extended version).

Tomás Jakl, Dan Marsden, Nihil Shah

Log. Methods Comput. Sci., 2025

2024

No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads.

Amin Karamlou, Nihil Shah

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Linear Arboreal Categories.

Samson Abramsky, Yoàv Montacute, Nihil Shah

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2023

A categorical account of composition methods in logic.

Tomas Jakl, Dan Marsden, Nihil Shah

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems.

Tomas Jakl, Dan Marsden, Nihil Shah

CoRR, 2022

The Pebble-Relation Comonad in Finite Model Theory.

Yoàv Montacute, Nihil Shah

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2020

Relating Structure and Power: Extended Version.

Samson Abramsky, Nihil Shah

CoRR, 2020

2018

Relating Structure and Power: Comonadic Semantics for Computational Resources.

Samson Abramsky, Nihil Shah

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract.

Samson Abramsky, Nihil Shah

Proceedings of the Coalgebraic Methods in Computer Science, 2018