Kohei Kishida

Orcid: 0000-0002-6719-1521

According to our database1, Kohei Kishida authored at least 21 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Proto-Quipper with Dynamic Lifting.
Proc. ACM Program. Lang., January, 2023

Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach.
Proceedings of the Logic and Engineering of Natural Language Semantics, 2023

2022
Linear Dependent Type Theory for Quantum Programming Languages.
Log. Methods Comput. Sci., 2022

On the Lambek embedding and the category of product-preserving presheaves.
CoRR, 2022

A biset-enriched categorical model for Proto-Quipper with dynamic lifting.
Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2020
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper.
Proceedings of the Reversible Computation - 12th International Conference, 2020

Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2017
Categories for Dynamic Epistemic Logic.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Minimum Quantum Resources for Strong Non-Locality.
Proceedings of the 12th Conference on the Theory of Quantum Computation, 2017

2016
Possibilities Determine the Combinatorial Structure of Probability Polytopes.
CoRR, 2016

Logic of Local Inference for Contextuality in Quantum Physics and Beyond.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015
Duality for the Logic of Quantum Actions.
Stud Logica, 2015

Contextuality, Cohomology and Paradox.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014
Stochastic Relational Presheaves and Dynamic Logic for Contextuality.
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

2013
Quantum Probabilistic Dyadic Second-Order Logic.
Proceedings of the Logic, Language, Information, and Computation, 2013

General Topos Semantics for Higher-Order Modal Logic.
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012
Public Announcements under Sheaves.
Proceedings of the New Frontiers in Artificial Intelligence, 2012

Topological Completeness of First-Order Modal Logics.
Proceedings of the Advances in Modal Logic 9, 2012

2011
Neighborhood-Sheaf Semantics for First-Order Modal Logic.
Proceedings of the 7th Workshop on Methods for Modalities, 2011

2008
Funny business in branching space-times: infinite modal correlations.
Synth., 2008

Topology and Modality: the Topological Interpretation of First-order Modal Logic.
Rev. Symb. Log., 2008


  Loading...