Nihil Shah : Publications

Click here to download all publications in a single bibtex file

@article{DBLP:journals/corr/abs-2301-10088,
  title = "Linear Arboreal Categories",
  author = "Samson Abramsky and Yo{\`{a}}v Montacute and Nihil Shah",
  year = "2023",
  journal = "CoRR",
  url = "https://doi.org/10.48550/arXiv.2301.10088",
  volume = "abs/2301.10088",
  doi = "10.48550/arXiv.2301.10088",
}

@article{DBLP:journals/corr/abs-2205-05387,
  title = "A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems",
  author = "Tom{\'{a}}s Jakl and Dan Marsden and Nihil Shah",
  year = "2022",
  journal = "CoRR",
  url = "https://doi.org/10.48550/arXiv.2205.05387",
  volume = "abs/2205.05387",
  doi = "10.48550/arXiv.2205.05387",
}

@inproceedings{DBLP:conf/lics/MontacuteS22,
  title = "The Pebble-Relation Comonad in Finite Model Theory",
  author = "Yo{\`{a}}v Montacute and Nihil Shah",
  year = "2022",
  booktitle = "{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022",
  editor = "Christel Baier and Dana Fisman",
  pages = "13:1--13:11",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/3531130.3533335",
  doi = "10.1145/3531130.3533335",
}

@article{DBLP:journals/logcom/AbramskyS21,
  title = "Relating structure and power: Comonadic semantics for computational resources",
  author = "Samson Abramsky and Nihil Shah",
  year = "2021",
  journal = "J. Log. Comput.",
  number = "6",
  pages = "1390--1428",
  url = "https://doi.org/10.1093/logcom/exab048",
  volume = "31",
  doi = "10.1093/logcom/exab048",
}

@inproceedings{abramsky_et_al:LIPIcs:2018:9669,
  title = "Relating Structure and Power: Comonadic Semantics for Computational Resources",
  author = "Samson Abramsky and Nihil Shah",
  year = "2018",
  booktitle = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}",
  editor = "Dan R. Ghica and Achim Jung",
  isbn = "978-3-95977-088-0",
  issn = "1868-8969",
  pages = "2:1--2:17",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
  series = "LIPIcs",
  url = "https://doi.org/10.4230/LIPIcs.CSL.2018.2",
  volume = "119",
  doi = "10.4230/LIPIcs.CSL.2018.2",
}