104 citations · 160 across the 8 of their papers we have counts for
9 papers
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart +3
We present a novel sampling framework for probabilistic programs. The framework combines two recent ideas -- \emph{control-data separation} and \emph{logical condition propagation}…
Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory
Kenta Cho, Bas Westerbaan, John van de Wetering
Effectus theory is a relatively new approach to categorical logic that can be seen as an abstract form of generalized probabilistic theories (GPTs). While the scalars of a GPT are…
Effectuses in Categorical Quantum Foundations
Kenta Cho
This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its con…
Disintegration and Bayesian Inversion via String Diagrams
Kenta Cho, Bart Jacobs
The notions of disintegration and Bayesian inversion are fundamental in conditional probability theory. They produce channels, as conditional probabilities, from a joint state, or…
Von Neumann Algebras form a Model for the Quantum Lambda Calculus
Kenta Cho, Abraham Westerbaan
We present a model of Selinger and Valiron's quantum lambda calculus based on von Neumann algebras, and show that the model is adequate with respect to the operational semantics.
An Introduction to Effectus Theory
Kenta Cho, Bart Jacobs, Bas Westerbaan +1
Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effe…
Quotient-Comprehension Chains
Kenta Cho, Bart Jacobs, Bas Westerbaan +1
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehensi…
Total and Partial Computation in Categorical Quantum Foundations
Kenta Cho
This paper uncovers the fundamental relationship between total and partial computation in the form of an equivalence of certain categories. This equivalence involves on the one han…
Semantics for a Quantum Programming Language by Operator Algebras
Kenta Cho
This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the o…