Nihil Shah

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

Collaborative distances:

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

2024

The Pebble-Relation Comonad in Finite Model Theory.

Yoàv Montacute, Nihil Shah

Log. Methods Comput. Sci., 2024

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

Tomas Jakl, Dan Marsden, Nihil Shah

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

2021

Relating structure and power: Comonadic semantics for computational resources.

Samson Abramsky, Nihil Shah

J. Log. Comput., 2021

2020

Relating Structure and Power: Extended Version.

Samson Abramsky, Nihil Shah

CoRR, 2020

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