Kohei Kishida

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

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 9 Article
  • 8 Conference contribution
  • 2 Conference article
  • 1 Chapter

Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract

Fu, P., Kishida, K. & Selinger, P., 2020, LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 440-453 14 p.

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

  • Categories and Modalities

    Kishida, K., Jan 18 2018, Categories for the Working Philosopher. Landry, E. (ed.). Oxford University Press, p. 163-222 60 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 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

  • 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

  • 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