Kohei Kishida

28 papers A* 2B 3C 2Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Proto-Quipper with Reversing and Control.
QPL
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2023 J jnl
Proto-Quipper with Dynamic Lifting.
Proc. ACM Program. Lang.
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2023 — conf
Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach.
LENLS
Kohei Kishida
2022 — conf
A biset-enriched categorical model for Proto-Quipper with dynamic lifting.
QPL
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2022 J jnl
Linear Dependent Type Theory for Quantum Programming Languages.
Log. Methods Comput. Sci.
Peng Fu, Kohei Kishida, Peter Selinger
2022 J jnl
On the Lambek embedding and the category of product-preserving presheaves.
CoRR
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2022 — ed.
Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021.
ACT
Kohei Kishida
2022 J jnl
Proto-Quipper with dynamic lifting.
CoRR
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2020 C conf
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper.
RC
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2020 J jnl
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper.
CoRR
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2020 J jnl
Linear Dependent Type Theory for Quantum Programming Languages.
CoRR
Peng Fu, Kohei Kishida, Peter Selinger
2020 A* conf
Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract.
LICS
Peng Fu, Kohei Kishida, Peter Selinger
2017 B conf
Categories for Dynamic Epistemic Logic.
TARK
Kohei Kishida
2017 — conf
Minimum Quantum Resources for Strong Non-Locality.
TQC
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Nadish de Silva, Kohei Kishida, Shane Mansfield
2016 A* conf
Logic of Local Inference for Contextuality in Quantum Physics and Beyond.
ICALP
Kohei Kishida
2016 J jnl
Logic of Local Inference for Contextuality in Quantum Physics and Beyond.
CoRR
Kohei Kishida
2016 J jnl
Possibilities Determine the Combinatorial Structure of Probability Polytopes.
CoRR
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
2015 B conf
Contextuality, Cohomology and Paradox.
CSL
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
2015 J jnl
Contextuality, Cohomology and Paradox.
CoRR
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
2015 J jnl
Duality for the Logic of Quantum Actions.
Stud Logica
Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong
2014 — conf
Stochastic Relational Presheaves and Dynamic Logic for Contextuality.
QPL
Kohei Kishida
2013 — conf
General Topos Semantics for Higher-Order Modal Logic.
TACL
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
2013 C conf
Quantum Probabilistic Dyadic Second-Order Logic.
WoLLIC
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong
2012 — conf
Public Announcements under Sheaves.
JSAI-isAI Workshops
Kohei Kishida
2012 B conf
Topological Completeness of First-Order Modal Logics.
Advances in Modal Logic
Steven Awodey, Kohei Kishida
2011 — conf
Neighborhood-Sheaf Semantics for First-Order Modal Logic.
M4M/LAMAS
Kohei Kishida
2008 J jnl
Funny business in branching space-times: infinite modal correlations.
Synth.
Thomas Müller, Nuel Belnap, Kohei Kishida
2008 J jnl
Topology and Modality: the Topological Interpretation of First-order Modal Logic.
Rev. Symb. Log.
Steve Awodey, Kohei Kishida