Kenta Cho

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Dichotomy between deterministic and probabilistic models in countably additive effectus theory	2024-11-28	Paper
Control-data separation and logical condition propagation for efficient inference on probabilistic programs Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
Total and partial computation in categorical quantum foundations	2021-12-06	Paper
Total and partial computation in categorical quantum foundations (available as arXiv preprint)	2021-12-06	Paper
Quotient-comprehension chains	2021-12-06	Paper
Quotient-comprehension chains (available as arXiv preprint)	2021-12-06	Paper
Semantics for a quantum programming language by operator algebras	2021-06-29	Paper
Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory	2020-03-23	Paper
Disintegration and Bayesian inversion via string diagrams Mathematical Structures in Computer Science	2019-11-15	Paper
Effectuses in Categorical Quantum Foundations	2019-10-27	Paper
Duplicable von Neumann Algebras	2019-03-06	Paper
Semantics for a quantum programming language by operator algebras New Generation Computing	2018-09-05	Paper
The EfProb library for probabilistic calculations	2018-08-13	Paper
Coinductive predicates and final sequences in a fibration Mathematical Structures in Computer Science	2018-03-09	Paper
Coinductive predicates and final sequences in a fibration	2016-04-12	Paper
Von Neumann Algebras form a Model for the Quantum Lambda Calculus	2016-03-07	Paper
Speculative computation and action execution in multi-agent systems	2013-08-20	Paper
Computational Logic in Multi-Agent Systems Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2090554 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1929205 (Why is no real title available?)	2003-06-17	Paper

Research outcomes over time

This page was built for person: Kenta Cho