Kohei Kishida
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2012–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | LICS | Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract. | Peng Fu, Kohei Kishida, Peter Selinger |
| 2020 | RC | A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. | Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger |
| 2016 | ICALP | Logic of Local Inference for Contextuality in Quantum Physics and Beyond. | Kohei Kishida |
| 2015 | CSL | Contextuality, Cohomology and Paradox. | Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield |
| 2013 | WoLLIC | Quantum Probabilistic Dyadic Second-Order Logic. | Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong |
| 2012 | AiML | Topological Completeness of First-Order Modal Logics. | Steven Awodey, Kohei Kishida |