If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper

    Fu, P., Kishida, K., Ross, N. J. & Selinger, P., Jul 9 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Lanese, I. & Rawski, M. (eds.). Springer, p. 153-168 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12227 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract

    Fu, P., Kishida, K. & Selinger, P., Jul 8 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 440-453 14 p. 3394765. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2018

    Minimum quantum resources for strong non-locality

    Abramsky, S., Barbosa, R. S., Carù, G., De Silva, N., Kishida, K. & Mansfield, S., Feb 1 2018, 12th Conference on the Theory of Quantum Computation, Communication, and Cryptography, TQC 2017. Wilde, M. M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 91-920 830 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 73).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2016

    Logic of local inference for contextuality in quantum physics and beyond

    Kishida, K., Aug 1 2016, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016. Rabani, Y., Chatzigiannakis, I., Sangiorgi, D. & Mitzenmacher, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 113. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 55).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2015

    Contextuality, cohomology and paradox

    Abramsky, S., Barbosa, R. S., Kishida, K., Lal, R. & Mansfield, S., Sep 1 2015, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015. Kreutzer, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 211-228 18 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 41).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2014

    Topological completeness of first-order modal logic

    Awodey, S. & Kishida, K., 2014, Advances in Modal Logic. Brauner, T., Moss, L., Bolander, T. & Ghilardi, S. (eds.). College Publications, p. 1-17 17 p. (Advances in Modal Logic; vol. 9).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2013

    Public announcements under sheaves

    Kishida, K., Sep 3 2013, New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Revised Selected Papers. p. 96-108 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7856 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Quantum probabilistic dyadic second-order logic

    Baltag, A., Bergfeld, J. M., Kishida, K., Sack, J., Smets, S. J. L. & Zhong, S., Oct 9 2013, Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Proceedings. Springer, p. 64-80 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8071 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution