Kenta Cho

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 13

Top Topics

Programming Language Constructs

Lambda Calculus

Numerical Values

Efficient Inference

Top Venues

Math. Struct. Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

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