Kenta Cho

Orcid: 0000-0001-8026-226X

Affiliations:

National Institute of Informatics, Tokyo, Japan
Radboud University, Nijmegen, The Netherlands (former)
University of Tokyo, Japan (former)

According to our database¹, Kenta Cho authored at least 13 papers between 2013 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Control-data separation and logical condition propagation for efficient inference on probabilistic programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., January, 2024

2020

Dichotomy between deterministic and probabilistic models in countably additive effectus theory.

[BibT_eX]

[DOI]

Kenta Cho

Bas Westerbaan

John van de Wetering

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2019

Disintegration and Bayesian inversion via string diagrams.

[BibT_eX]

[DOI]

Kenta Cho

Bart Jacobs

Math. Struct. Comput. Sci., 2019

Effectuses in Categorical Quantum Foundations.

[BibT_eX]

[DOI]

Kenta Cho

CoRR, 2019

2018

Coinductive predicates and final sequences in a fibration.

[BibT_eX]

[DOI]

Ichiro Hasuo

Toshiki Kataoka

Kenta Cho

Math. Struct. Comput. Sci., 2018

2017

Disintegration and Bayesian Inversion, Both Abstractly and Concretely.

[BibT_eX]

[DOI]

Kenta Cho

Bart Jacobs

CoRR, 2017

The EfProb Library for Probabilistic Calculations.

[BibT_eX]

[DOI]

Kenta Cho

Bart Jacobs

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Semantics for a Quantum Programming Language by Operator Algebras.

[BibT_eX]

[DOI]

Kenta Cho

New Gener. Comput., 2016

Von Neumann Algebras form a Model for the Quantum Lambda Calculus.

[BibT_eX]

[DOI]

Kenta Cho

Abraham Westerbaan

CoRR, 2016

2015

Total and Partial Computation in Categorical Quantum Foundations.

[BibT_eX]

[DOI]

Kenta Cho

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Quotient-Comprehension Chains.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

An Introduction to Effectus Theory.

[BibT_eX]

[DOI]

CoRR, 2015

2013

Coinductive Predicates and Final Sequences in a Fibration.

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Kenta Cho

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...