Nihil Shah : Publications
Journal papers
-
[1]
Linear Arboreal Categories
Samson Abramsky‚ Yoàv Montacute and Nihil Shah
In CoRR. Vol. abs/2301.10088. 2023.
Details about Linear Arboreal Categories | BibTeX data for Linear Arboreal Categories | DOI (10.48550/arXiv.2301.10088) | Link to Linear Arboreal Categories
-
[2]
A game comonadic account of Courcelle and Feferman−Vaught−Mostowski theorems
Tomás Jakl‚ Dan Marsden and Nihil Shah
In CoRR. Vol. abs/2205.05387. 2022.
Details about A game comonadic account of Courcelle and Feferman−Vaught−Mostowski theorems | BibTeX data for A game comonadic account of Courcelle and Feferman−Vaught−Mostowski theorems | DOI (10.48550/arXiv.2205.05387) | Link to A game comonadic account of Courcelle and Feferman−Vaught−Mostowski theorems
-
[3]
Relating structure and power: Comonadic semantics for computational resources
Samson Abramsky and Nihil Shah
In J. Log. Comput.. Vol. 31. No. 6. Pages 1390–1428. 2021.
Details about Relating structure and power: Comonadic semantics for computational resources | BibTeX data for Relating structure and power: Comonadic semantics for computational resources | DOI (10.1093/logcom/exab048) | Link to Relating structure and power: Comonadic semantics for computational resources
Conference papers
-
[1]
The Pebble−Relation Comonad in Finite Model Theory
Yoàv Montacute and Nihil Shah
In Christel Baier and Dana Fisman, editors, LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science‚ Haifa‚ Israel‚ August 2 − 5‚ 2022. Pages 13:1–13:11. ACM. 2022.
Details about The Pebble−Relation Comonad in Finite Model Theory | BibTeX data for The Pebble−Relation Comonad in Finite Model Theory | DOI (10.1145/3531130.3533335) | Link to The Pebble−Relation Comonad in Finite Model Theory
-
[2]
Relating Structure and Power: Comonadic Semantics for Computational Resources
Samson Abramsky and Nihil Shah
In Dan R. Ghica and Achim Jung, editors, 27th EACSL Annual Conference on Computer Science Logic‚ CSL 2018‚ September 4−7‚ 2018‚ Birmingham‚ UK. Vol. 119 of LIPIcs. Pages 2:1–2:17. Schloss Dagstuhl − Leibniz−Zentrum für Informatik. 2018.
Details about Relating Structure and Power: Comonadic Semantics for Computational Resources | BibTeX data for Relating Structure and Power: Comonadic Semantics for Computational Resources | DOI (10.4230/LIPIcs.CSL.2018.2) | Link to Relating Structure and Power: Comonadic Semantics for Computational Resources