Nihil Shah

According to our database, Nihil Shah authored at least 7 papers between 2018 and 2023.

Collaborative distances:

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

2023

Linear Arboreal Categories.

Samson Abramsky, Yoàv Montacute, Nihil Shah

CoRR, 2023

A categorical account of composition methods in logic.

Tomás Jakl, Dan Marsden, Nihil Shah

LICS, 2023

2022

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

Tomás 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

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