Kenta Cho

16 papers B 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Control-data separation and logical condition propagation for efficient inference on probabilistic programs.
J. Log. Algebraic Methods Program.
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
2021 J jnl
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs.
CoRR
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
2020 — conf
Dichotomy between deterministic and probabilistic models in countably additive effectus theory.
QPL
Kenta Cho, Bas Westerbaan, John van de Wetering
2019 J jnl
Disintegration and Bayesian inversion via string diagrams.
Math. Struct. Comput. Sci.
Kenta Cho, Bart Jacobs
2019 J jnl
Effectuses in Categorical Quantum Foundations.
CoRR
Kenta Cho
2019 — —
Effectuses in Categorical Quantum Foundations.
Kenta Cho
2018 J jnl
Coinductive predicates and final sequences in a fibration.
Math. Struct. Comput. Sci.
Ichiro Hasuo, Toshiki Kataoka, Kenta Cho
2017 J jnl
Disintegration and Bayesian Inversion, Both Abstractly and Concretely.
CoRR
Kenta Cho, Bart Jacobs
2017 B conf
The EfProb Library for Probabilistic Calculations.
CALCO
Kenta Cho, Bart Jacobs
2016 J jnl
Semantics for a Quantum Programming Language by Operator Algebras.
New Gener. Comput.
Kenta Cho
2016 J jnl
Von Neumann Algebras form a Model for the Quantum Lambda Calculus.
CoRR
Kenta Cho, Abraham Westerbaan
2015 J jnl
An Introduction to Effectus Theory.
CoRR
Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan
2015 — conf
Quotient-Comprehension Chains.
QPL
Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan
2015 — conf
Total and Partial Computation in Categorical Quantum Foundations.
QPL
Kenta Cho
2014 — conf
Semantics for a Quantum Programming Language by Operator Algebras.
QPL
Kenta Cho
2013 B conf
Coinductive Predicates and Final Sequences in a Fibration.
MFPS
Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs