@article{deSilvaBarbosa:ContextualityNoncommutativeGeometry,
  title = "Contextuality and noncommutative geometry in quantum mechanics",
  author = "de Silva, Nadish and Barbosa, Rui Soares",
  year = "2019",
  journal = "Communications in Mathematical Physics",
  note = "Earlier partial version (``Partial and total ideals of von Neumann algebras'') available as arXiv:1408.1172 [math.OA]",
  number = "2",
  pages = "375--429",
  volume = "365",
  doi = "10.1007/s00220-018-3222-9",
}
@inproceedings{AbrasmkyEtAl:MinimumResourcesSNL,
  title = "Minimum quantum resources for strong non-locality",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane",
  year = "2018",
  address = "Dagstuhl, Germany",
  booktitle = "Proceedings of 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)",
  editor = "Wilde, Mark M.",
  isbn = "978-3-95977-034-7",
  issn = "1868-8969",
  note = "Accepted for communication at 14th International Conference on Quantum Physics and Logic (QPL 2017); E-print: arXiv:1705.09312 [quant-ph]",
  pages = "9:1--9:20",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2018/8582",
  volume = "73",
  doi = "10.4230/LIPIcs.TQC.2017.9",
}
@inproceedings{AbramskyEtAl:QuantumMonad,
  title = "The quantum monad on relational structures",
  author = "Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio",
  year = "2017",
  address = "Dagstuhl, Germany",
  booktitle = "Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)",
  editor = "Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Fran{\c{c}}ois",
  isbn = "978-3-95977-046-0",
  issn = "1868-8969",
  note = "E-print: arXiv:1705.07310 [cs.LO]",
  pages = "35:1--35:19",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum f\"{u}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2017/8129",
  volume = "83",
  doi = "10.4230/LIPIcs.MFCS.2017.35",
}
@misc{de2017logical,
  title = "Logical paradoxes in quantum computation",
  author = "de Silva, Nadish",
  year = "2017",
  howpublished = "arXiv preprint arXiv:1709.00013",
}
@inproceedings{abramsky2017quantum,
  title = "The quantum monad on relational structures",
  author = "Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio",
  year = "2017",
  booktitle = "Proceedings of Mathematical Foundations of Computer Science (MFCS)",
  month = "August",
}
@article{de2017graph,
  title = "Graph-theoretic strengths of contextuality",
  author = "de Silva, Nadish",
  year = "2017",
  journal = "Physical Review A",
  month = "March",
  number = "3",
  pages = "032108",
  volume = "95",
  doi = "10.1103/PhysRevA.95.032108",
}
@inproceedings{abramsky2017minimum,
  title = "Minimum quantum resources for strong non-locality",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane",
  year = "2017",
  booktitle = "Proceedings of Theory of Quantum Computation, Communication and Cryptography (TQC)",
  month = "July",
}
@article{arXiv:1408.1172,
  title = "Partial and Total Ideals of Von Neumann Algebras",
  author = "Nadish de Silva and Rui Soares Barbosa",
  year = "2014",
  url = "http://arxiv.org/abs/1408.1172",
}
@article{arXiv:1408.1170,
  title = "From Topology to Noncommutative Geometry: $K$-theory",
  author = "Nadish de Silva",
  year = "2014",
  url = "http://arxiv.org/abs/1408.1170",
}
@article{DBLP:journals/tamm/Silva10,
  title = "A Concise, Elementary Proof of Arzel{\`{a}}'s Bounded Convergence Theorem",
  author = "Nadish de Silva",
  year = "2010",
  journal = "The American Mathematical Monthly",
  number = "10",
  pages = "918--920",
  url = "http://www.jstor.org/stable/10.4169/000298910X523407",
  volume = "117",
}