default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kohei Kishida
@article{DBLP:journals/pacmpl/FuKRS23,
author = {Peng Fu and
Kohei Kishida and
Neil J. Ross and
Peter Selinger},
title = {Proto-Quipper with Dynamic Lifting},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {309--334},
year = {2023},
url = {https://doi.org/10.1145/3571204},
doi = {10.1145/3571204},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FuKRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lenls/Kishida23,
author = {Kohei Kishida},
editor = {Daisuke Bekki and
Koji Mineshima and
Elin McCready},
title = {Topology and Justified True Belief: {A} Baseless, Evidence-Free (and
Pointless) Approach},
booktitle = {Logic and Engineering of Natural Language Semantics - 20th International
Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14569},
pages = {321--336},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-60878-0\_18},
doi = {10.1007/978-3-031-60878-0\_18},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lenls/Kishida23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FuKS22,
author = {Peng Fu and
Kohei Kishida and
Peter Selinger},
title = {Linear Dependent Type Theory for Quantum Programming Languages},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:28)2022},
doi = {10.46298/LMCS-18(3:28)2022},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FuKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-13039,
author = {Peng Fu and
Kohei Kishida and
Neil J. Ross and
Peter Selinger},
editor = {Stefano Gogioso and
Matty Hoban},
title = {A biset-enriched categorical model for Proto-Quipper with dynamic
lifting},
booktitle = {Proceedings 19th International Conference on Quantum Physics and Logic,
{QPL} 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022},
series = {{EPTCS}},
volume = {394},
pages = {302--342},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.16},
doi = {10.4204/EPTCS.394.16},
timestamp = {Fri, 22 Dec 2023 11:34:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2211-01102,
editor = {Kohei Kishida},
title = {Proceedings of the Fourth International Conference on Applied Category
Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
series = {{EPTCS}},
volume = {372},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.372},
doi = {10.4204/EPTCS.372},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-01102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13041,
author = {Peng Fu and
Kohei Kishida and
Neil J. Ross and
Peter Selinger},
title = {Proto-Quipper with dynamic lifting},
journal = {CoRR},
volume = {abs/2204.13041},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13041},
doi = {10.48550/ARXIV.2204.13041},
eprinttype = {arXiv},
eprint = {2204.13041},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06068,
author = {Peng Fu and
Kohei Kishida and
Neil J. Ross and
Peter Selinger},
title = {On the Lambek embedding and the category of product-preserving presheaves},
journal = {CoRR},
volume = {abs/2205.06068},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06068},
doi = {10.48550/ARXIV.2205.06068},
eprinttype = {arXiv},
eprint = {2205.06068},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FuKS20,
author = {Peng Fu and
Kohei Kishida and
Peter Selinger},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Linear Dependent Type Theory for Quantum Programming Languages: Extended
Abstract},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {440--453},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394765},
doi = {10.1145/3373718.3394765},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/FuKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/0001KRS20,
author = {Peng Fu and
Kohei Kishida and
Neil J. Ross and
Peter Selinger},
editor = {Ivan Lanese and
Mariusz Rawski},
title = {A Tutorial Introduction to Quantum Circuit Programming in Dependently
Typed Proto-Quipper},
booktitle = {Reversible Computation - 12th International Conference, {RC} 2020,
Oslo, Norway, July 9-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12227},
pages = {153--168},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52482-1\_9},
doi = {10.1007/978-3-030-52482-1\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/0001KRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-13472,
author = {Peng Fu and
Kohei Kishida and
Peter Selinger},
title = {Linear Dependent Type Theory for Quantum Programming Languages},
journal = {CoRR},
volume = {abs/2004.13472},
year = {2020},
url = {https://arxiv.org/abs/2004.13472},
eprinttype = {arXiv},
eprint = {2004.13472},
timestamp = {Thu, 23 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-13472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-08396,
author = {Peng Fu and
Kohei Kishida and
Neil J. Ross and
Peter Selinger},
title = {A tutorial introduction to quantum circuit programming in dependently
typed Proto-Quipper},
journal = {CoRR},
volume = {abs/2005.08396},
year = {2020},
url = {https://arxiv.org/abs/2005.08396},
eprinttype = {arXiv},
eprint = {2005.08396},
timestamp = {Thu, 23 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-08396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tqc/AbramskyBCSKM17,
author = {Samson Abramsky and
Rui Soares Barbosa and
Giovanni Car{\`{u}} and
Nadish de Silva and
Kohei Kishida and
Shane Mansfield},
editor = {Mark M. Wilde},
title = {Minimum Quantum Resources for Strong Non-Locality},
booktitle = {12th Conference on the Theory of Quantum Computation, Communication
and Cryptography, {TQC} 2017, June 14-16, 2017, Paris, France},
series = {LIPIcs},
volume = {73},
pages = {9:1--9:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TQC.2017.9},
doi = {10.4230/LIPICS.TQC.2017.9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tqc/AbramskyBCSKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Kishida17,
author = {Kohei Kishida},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Categories for Dynamic Epistemic Logic},
booktitle = {Proceedings Sixteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2017, Liverpool, UK, 24-26 July 2017},
series = {{EPTCS}},
volume = {251},
pages = {353--372},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.251.26},
doi = {10.4204/EPTCS.251.26},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kishida17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kishida16,
author = {Kohei Kishida},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {Logic of Local Inference for Contextuality in Quantum Physics and
Beyond},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {113:1--113:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.113},
doi = {10.4230/LIPICS.ICALP.2016.113},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Kishida16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbramskyBKLM16,
author = {Samson Abramsky and
Rui Soares Barbosa and
Kohei Kishida and
Raymond Lal and
Shane Mansfield},
title = {Possibilities Determine the Combinatorial Structure of Probability
Polytopes},
journal = {CoRR},
volume = {abs/1603.07735},
year = {2016},
url = {http://arxiv.org/abs/1603.07735},
eprinttype = {arXiv},
eprint = {1603.07735},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbramskyBKLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kishida16,
author = {Kohei Kishida},
title = {Logic of Local Inference for Contextuality in Quantum Physics and
Beyond},
journal = {CoRR},
volume = {abs/1605.08949},
year = {2016},
url = {http://arxiv.org/abs/1605.08949},
eprinttype = {arXiv},
eprint = {1605.08949},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kishida16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BergfeldKSZ15,
author = {Jort M. Bergfeld and
Kohei Kishida and
Joshua Sack and
Shengyang Zhong},
title = {Duality for the Logic of Quantum Actions},
journal = {Stud Logica},
volume = {103},
number = {4},
pages = {781--805},
year = {2015},
url = {https://doi.org/10.1007/s11225-014-9592-x},
doi = {10.1007/S11225-014-9592-X},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BergfeldKSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AbramskyBKLM15,
author = {Samson Abramsky and
Rui Soares Barbosa and
Kohei Kishida and
Raymond Lal and
Shane Mansfield},
editor = {Stephan Kreutzer},
title = {Contextuality, Cohomology and Paradox},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {211--228},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.211},
doi = {10.4230/LIPICS.CSL.2015.211},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AbramskyBKLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbramskyBKLM15,
author = {Samson Abramsky and
Rui Soares Barbosa and
Kohei Kishida and
Raymond Lal and
Shane Mansfield},
title = {Contextuality, Cohomology and Paradox},
journal = {CoRR},
volume = {abs/1502.03097},
year = {2015},
url = {http://arxiv.org/abs/1502.03097},
eprinttype = {arXiv},
eprint = {1502.03097},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbramskyBKLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Kishida14,
author = {Kohei Kishida},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Stochastic Relational Presheaves and Dynamic Logic for Contextuality},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {115--132},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.9},
doi = {10.4204/EPTCS.172.9},
timestamp = {Thu, 14 Oct 2021 09:15:50 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kishida14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/AwodeyKK13,
author = {Steve Awodey and
Kohei Kishida and
Hans{-}Christoph Kotzsch},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {General Topos Semantics for Higher-Order Modal Logic},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {14--16},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/nv5m},
doi = {10.29007/NV5M},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/AwodeyKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BaltagBKSSZ13,
author = {Alexandru Baltag and
Jort Bergfeld and
Kohei Kishida and
Joshua Sack and
Sonja Smets and
Shengyang Zhong},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Quantum Probabilistic Dyadic Second-Order Logic},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {64--80},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_9},
doi = {10.1007/978-3-642-39992-3\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BaltagBKSSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/AwodeyK12,
author = {Steven Awodey and
Kohei Kishida},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Topological Completeness of First-Order Modal Logics},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {1--17},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Awodey-Kishida.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/AwodeyK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/Kishida12,
author = {Kohei Kishida},
editor = {Yoichi Motomura and
Alastair Butler and
Daisuke Bekki},
title = {Public Announcements under Sheaves},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops,
LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1,
2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7856},
pages = {96--108},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39931-2\_8},
doi = {10.1007/978-3-642-39931-2\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/Kishida12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kishida11,
author = {Kohei Kishida},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Neighborhood-Sheaf Semantics for First-Order Modal Logic},
booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, {M4M} 2011,
and the 4th Workshop on Logical Aspects of Multi-Agent Systems, {LAMAS}
2011, Osuna, Spain, November 10-12, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {129--143},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.011},
doi = {10.1016/J.ENTCS.2011.10.011},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kishida11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/AwodeyK08,
author = {Steve Awodey and
Kohei Kishida},
title = {Topology and Modality: the Topological Interpretation of First-order
Modal Logic},
journal = {Rev. Symb. Log.},
volume = {1},
number = {2},
pages = {146--166},
year = {2008},
url = {https://doi.org/10.1017/S1755020308080143},
doi = {10.1017/S1755020308080143},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/AwodeyK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/MullerBK08,
author = {Thomas M{\"{u}}ller and
Nuel Belnap and
Kohei Kishida},
title = {Funny business in branching space-times: infinite modal correlations},
journal = {Synth.},
volume = {164},
number = {1},
pages = {141--159},
year = {2008},
url = {https://doi.org/10.1007/s11229-007-9220-7},
doi = {10.1007/S11229-007-9220-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/MullerBK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-19 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
