| Disintegration and Bayesian inversion via string diagrams K Cho, B Jacobs Mathematical Structures in Computer Science 29 (7), 938-971, 2019 | 181 | 2019 |
| An introduction to effectus theory K Cho, B Jacobs, B Westerbaan, A Westerbaan arXiv preprint arXiv:1512.05813, 2015 | 67 | 2015 |
| Semantics for a quantum programming language by operator algebras K Cho New Generation Computing 34, 25-68, 2016 | 41 | 2016 |
| The EfProb library for probabilistic calculations K Cho, B Jacobs Dagstuhl: LIPICS, 2017 | 21 | 2017 |
| Coinductive predicates and final sequences in a fibration I Hasuo, K Cho, T Kataoka, B Jacobs Electronic Notes in Theoretical Computer Science 298, 197-214, 2013 | 21 | 2013 |
| Total and partial computation in categorical quantum foundations K Cho arXiv preprint arXiv:1511.01569, 2015 | 19 | 2015 |
| Disintegration and Bayesian inversion, both abstractly and concretely K Cho, B Jacobs See arxiv. org/abs/1709.00322, 2017 | 18 | 2017 |
| Quotient-comprehension chains K Cho, B Jacobs, B Westerbaan, B Westerbaan arXiv preprint arXiv:1511.01570, 2015 | 18 | 2015 |
| Coinductive predicates and final sequences in a fibration I Hasuo, T Kataoka, K Cho Mathematical Structures in Computer Science 28 (4), 562-611, 2018 | 17 | 2018 |
| Von Neumann algebras form a model for the quantum lambda calculus K Cho, A Westerbaan arXiv preprint arXiv:1603.02133, 2016 | 10 | 2016 |
| Effectuses in categorical quantum foundations K Cho arXiv preprint arXiv:1910.12198, 2019 | 5 | 2019 |
| EfProb user manual B Jacobs, K Cho See efprob. cs. ru. nl, 2017 | 4 | 2017 |
| Control-data separation and logical condition propagation for efficient inference on probabilistic programs I Hasuo, Y Oyabu, C Eberhart, K Suenaga, K Cho, S Katsumata Journal of Logical and Algebraic Methods in Programming 136, 100922, 2024 | 2 | 2024 |
| Dichotomy between deterministic and probabilistic models in countably additive effectus theory K Cho, B Westerbaan, J van de Wetering arXiv preprint arXiv:2003.10245, 2020 | 1 | 2020 |
| Duplicable von Neumann Algebras K Cho, AA Westerbaan arXiv preprint arXiv:1903.02963, 2019 | 1 | 2019 |
| Sampling device and sampling method I Hasuo, Y Oyabu, C Eberhart, K Suenaga, K Cho, S Katsumata US Patent App. 18/338,078, 2023 | | 2023 |
| Kleisli Semantics for Conditioning in Probabilistic Programming K Cho, B Jacobs | | 2017 |
| Disintegration via Likelihood Relations K Cho, B Jacobs | | 2016 |
| Coalgebraic Fixed Point Logics in a Fibration K Cho | | |
Abraham WesterbaanLecturer, Radboud UniversityVerified email at cs.ru.nl
