Coinductive Predicates and Final Sequences in a Fibration. - Ichiro Hasuo; Kenta Cho 002; Toshiki Kataoka; Bart Jacobs 001 (MFPS, 2013)

Semantics for a Quantum Programming Language by Operator Algebras. - Kenta Cho 002 (QPL, 2014)

An Introduction to Effectus Theory. - Kenta Cho 002; Bart Jacobs 001; Bas Westerbaan; Abraham Westerbaan (CoRR, 2015)

Quotient-Comprehension Chains. - Kenta Cho 002; Bart Jacobs 001; Bas Westerbaan; Bram Westerbaan (QPL, 2015)

Total and Partial Computation in Categorical Quantum Foundations. - Kenta Cho 002 (QPL, 2015)

Von Neumann Algebras form a Model for the Quantum Lambda Calculus. - Kenta Cho 002; Abraham Westerbaan (CoRR, 2016)

The EfProb Library for Probabilistic Calculations. - Kenta Cho 002; Bart Jacobs 001 (CALCO, 2017)

Disintegration and Bayesian Inversion, Both Abstractly and Concretely. - Kenta Cho 002; Bart Jacobs 001 (CoRR, 2017)

Coinductive predicates and final sequences in a fibration. - Ichiro Hasuo; Toshiki Kataoka; Kenta Cho 002 (Math. Struct. Comput. Sci., 2018)

Effectuses in Categorical Quantum Foundations. - Kenta Cho 002 (CoRR, 2019)

Disintegration and Bayesian inversion via string diagrams. - Kenta Cho 002; Bart Jacobs 001 (Math. Struct. Comput. Sci., 2019)

Dichotomy between deterministic and probabilistic models in countably additive effectus theory. - Kenta Cho 002; Bas Westerbaan; John van de Wetering (QPL, 2020)

Control-data separation and logical condition propagation for efficient inference on probabilistic programs. - Ichiro Hasuo; Yuichiro Oyabu; Clovis Eberhart; Kohei Suenaga; Kenta Cho 002; Shin-ya Katsumata (J. Log. Algebraic Methods Program., 2024)