Kohei Kishida

Available identifiers

zbMath Open kishida.koheiMaRDI QIDQ334456

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5040172	2022-10-11	Paper
Linear Dependent Type Theory for Quantum Programming Languages	2022-10-06	Paper
On the Lambek embedding and the category of product-preserving presheaves	2022-05-12	Paper
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting	2022-04-27	Paper
Proto-Quipper with dynamic lifting	2022-04-27	Paper
Categories for Dynamic Epistemic Logic	2021-12-14	Paper
A tutorial introduction to quantum circuit programming in dependently typed proto-quipper	2021-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4997285	2021-06-29	Paper
Linear Dependent Type Theory for Quantum Programming Languages	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4637983	2018-05-03	Paper
Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices	2018-02-05	Paper
Logic of Local Inference for Contextuality in Quantum Physics and Beyond	2017-12-19	Paper
Contextuality, Cohomology and Paradox	2017-08-31	Paper
Topos Semantics for Higher-Order Modal Logic	2017-04-11	Paper
Possibilities determine the combinatorial structure of probability polytopes	2016-11-01	Paper
Neighborhood-Sheaf Semantics for First-Order Modal Logic	2016-10-07	Paper
Duality for the logic of quantum actions	2015-09-15	Paper
On topological issues of indeterminism	2015-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q2939510	2015-01-22	Paper
PLQP \& Company: decidable logics for quantum algorithms	2014-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q5419867	2014-06-11	Paper
Quantum Probabilistic Dyadic Second-Order Logic	2013-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4903799	2013-01-27	Paper
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC	2010-08-13	Paper
Funny business in branching space-times: infinite modal correlations	2009-06-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kohei Kishida