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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 proceeding › Conference 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 proceeding › Chapter
-
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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution