46 citations · 104 across the 12 of their papers we have counts for
14 papers
Proto-Quipper with Reversing and Control
Peng Fu, Kohei Kishida, Neil J. Ross +1
The quantum programming language Quipper supports circuit operations such as reversing and controlling certain quantum circuits. Additionally, Quipper provides a function called wi…
Proceedings of the Fourth International Conference on Applied Category Theory
Kohei Kishida
The Fourth International Conference on Applied Category Theory took place at the Computer Laboratory of the University of Cambridge on 12--16 July 2021. It was a hybrid event, with…
On the Lambek embedding and the category of product-preserving presheaves
Peng Fu, Kohei Kishida, Neil J. Ross +1
It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda…
Proto-Quipper with dynamic lifting
Peng Fu, Kohei Kishida, Neil J. Ross +1
Quipper is a functional programming language for quantum computing. Proto-Quipper is a family of languages aiming to provide a formal foundation for Quipper. In this paper, we exte…
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting
Peng Fu, Kohei Kishida, Neil J. Ross +1
Quipper and Proto-Quipper are a family of quantum programming languages that, by their nature as circuit description languages, involve two runtimes: one at which the program gener…
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
Peng Fu, Kohei Kishida, Neil J. Ross +1
We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for short, an experimental quantum circuit programming language with linear dependent types. We give several exampl…
Linear Dependent Type Theory for Quantum Programming Languages
Peng Fu, Kohei Kishida, Peter Selinger
Modern quantum programming languages integrate quantum resources and classical control. They must, on the one hand, be linearly typed to reflect the no-cloning property of quantum…
Categories for Dynamic Epistemic Logic
Kohei Kishida
The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category…
Minimum quantum resources for strong non-locality
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù +3
We analyse the minimum quantum resources needed to realise strong non-locality, as exemplified e.g. by the classical GHZ construction. It was already known that no two-qubit system…
Logic of Local Inference for Contextuality in Quantum Physics and Beyond
Kohei Kishida
Contextuality in quantum physics provides a key resource for quantum information and computation. The topological approach in [Abramsky and Brandenburger, New J. Phys., 2011, Abram…
Possibilities Determine the Combinatorial Structure of Probability Polytopes
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida +2
We study the set of no-signalling empirical models on a measurement scenario, and show that the combinatorial structure of the no-signalling polytope is completely determined by th…
Contextuality, Cohomology and Paradox
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida +2
Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf…
Stochastic Relational Presheaves and Dynamic Logic for Contextuality
Kohei Kishida
Presheaf models provide a formulation of labelled transition systems that is useful for, among other things, modelling concurrent computation. This paper aims to extend such models…
Topos Semantics for Higher-Order Modal Logic
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
We define the notion of a model of higher-order modal logic in an arbitrary elementary topos . In contrast to the well-known interpretation of (non-modal) higher-order…