Nihil Shah

According to our database, Nihil Shah authored at least 9 papers between 2018 and 2025.

Collaborative distances:

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

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

CoRR, 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