Kenta Cho

Available identifiers

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	2024-02-12	Paper
Total and Partial Computation in Categorical Quantum Foundations	2021-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q5015193	2021-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4997288	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	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	2018-09-05	Paper
The EfProb Library for Probabilistic Calculations	2018-08-13	Paper
Coinductive predicates and final sequences in a fibration	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	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4812990	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4708282	2003-06-17	Paper

This page was built for person: Kenta Cho