Kenta Cho

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Control-data separation and logical condition propagation for efficient inference on probabilistic programs	2023	Ichiro Hasuo Yuichiro Oyabu Clovis Eberhart Kohei Suenaga Kenta Cho Shin-ya Katsumata
+ PDF Chat	Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory	2021	Kenta Cho Bas Westerbaan John van de Wetering
+	Hierarchical Sampler for Probabilistic Programs via Separation of Control and Data	2021	Ichiro Hasuo Yuichiro Oyabu Clovis Eberhart Kohei Suenaga Kenta Cho Shin-ya Katsumata
+	Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs	2021	Ichiro Hasuo Yuichiro Oyabu Clovis Eberhart Kohei Suenaga Kenta Cho Shin-ya Katsumata
+ PDF Chat	Disintegration and Bayesian inversion via string diagrams	2019	Kenta Cho Bart Jacobs
+	Duplicable von Neumann Algebras	2019	Kenta Cho Abraham Westerbaan
+	Effectuses in Categorical Quantum Foundations	2019	Kenta Cho
+ PDF Chat	Semantics for a Quantum Programming Language by Operator Algebras	2016	Kenta Cho
+	Von Neumann Algebras form a Model for the Quantum Lambda Calculus	2016	Kenta Cho Abraham Westerbaan
+ PDF Chat	Quotient-Comprehension Chains	2015	Kenta Cho Bart Jacobs Bas Westerbaan Bram Westerbaan
+ PDF Chat	Total and Partial Computation in Categorical Quantum Foundations	2015	Kenta Cho
+	An Introduction to Effectus Theory	2015	Kenta Cho Bart Jacobs Bas Westerbaan Abraham Westerbaan
+ PDF Chat	Semantics for a Quantum Programming Language by Operator Algebras	2014	Kenta Cho

Common Coauthors

Coauthor	Papers Together
Abraham Westerbaan	3
Yuichiro Oyabu	3
Bas Westerbaan	3
Clovis Eberhart	3
Shin-ya Katsumata	3
Ichiro Hasuo	3
Kohei Suenaga	3
Bart Jacobs	2
John van de Wetering	1
Bram Westerbaan	1
Bart Jacobs	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic	2015	Bart Jacobs	6
+	C-Algebras and W-Algebras	1998	Shôichirô Sakai	5
+	Partially additive categories and flow-diagram semantics	1980	Michael A. Arbib Ernest G. Manes	4
+	On Rings of Operators	1936	F. J. Murray J. v. Neumann	4
+	Completely Bounded Maps and Operator Algebras	2003	Vern I. Paulsen	4
+ PDF Chat	Semantics for a Quantum Programming Language by Operator Algebras	2014	Kenta Cho	3
+ PDF Chat	From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality	2015	Robert Furber B.P.F. Jacobs	3
+	Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras	2014	Mathys Rennela	3
+ PDF Chat	From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality	2013	Robert Furber Bart Jacobs	3
+ PDF Chat	<i>Stan</i>: A Probabilistic Programming Language	2017	Bob Carpenter Andrew Gelman Matthew D. Hoffman Daniel C. Lee Ben Goodrich Michael Betancourt Marcus A. Brubaker Jiqiang Guo Peter Li Allen Riddell	3
+ PDF Chat	Total and Partial Computation in Categorical Quantum Foundations	2015	Kenta Cho	3
+ PDF Chat	Quantum weakest preconditions	2006	Ellie D’Hondt Prakash Panangaden	3
+ PDF Chat	Fundamentals of quantum information theory	2002	Michael Keyl	3
+	Categorical Duality in Probability and Quantum Foundations	2017	Robert Furber	3
+	Stochastic Relations	2007	Ernst–Erich Doberkat	2
+	CATEGORICAL SEMANTICS OF LINEAR LOGIC	2009	Paul-André Melliès	2
+	C-Algebras and Their Automorphism Groups	1979	Gert Kjærgård Pedersen	2
+	Basic concepts of enriched category theory	1982	G. M. Kelly	2
+	On Rings of Operators. III	1940	J. v. Neumann	2
+	An Introduction to Effectus Theory	2015	Kenta Cho Bart Jacobs Bas Westerbaan Abraham Westerbaan	2
+	On the embedding of normed rings into the ring of operators in Hilbert space	1987	I. M. Gel'fand	2
+ PDF Chat	Semantics for a Quantum Programming Language by Operator Algebras	2016	Kenta Cho	2
+	C[]-algebras and W[]-algebras	1971	正一郎境	2
+	On the Form of Subobjects in Semi-Abelian and Regular Protomodular Categories	2013	Zurab Janelidze	2
+ PDF Chat	A lambda calculus for quantum computation with classical control	2006	Peter Selinger Benoît Valiron	2
+	Mathematical Theory of Quantum Fields	1999	Huzihiro Araki	2
+	Operator Algebras in Quantum Computation	2015	Mathys Rennela	2
+ PDF Chat	Quotient-Comprehension Chains	2015	Kenta Cho Bart Jacobs Bas Westerbaan Bram Westerbaan	2
+	Venture: a higher-order probabilistic programming platform with programmable inference	2014	Vikash K. Mansinghka Daniel Selsam Yura Perov	2
+ PDF Chat	Post-Classical Probability Theory	2015	Howard Barnum Alexander Wilce	2
+ PDF Chat	On rings of operators. II	1937	Francis J. Murray J. v. Neumann	2
+ PDF Chat	Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer	1999	Peter W. Shor	2
+	Bifibrational duality in non-abelian algebra and the theory of databases	2014	Thomas Weighill	2
+	Introduction to Tensor Products of Banach Spaces	2002	Raymond A. Ryan	2
+	The expectation monad in quantum foundations	2016	Bart Jacobs Jorik Mandemaker Robert Furber	2
+	A cogenerator for preseparated superconvex spaces	1996	Reinhard B�rger Ralf Kemper	2
+	The geometry of tensor calculus, I	1991	André Joyal Ross Street	2
+ PDF Chat	Probabilistic theories with purification	2010	Giulio Chiribella Giacomo Mauro D’Ariano Paolo Perinotti	2
+ PDF Chat	Quantum Programs as Kleisli Maps	2017	Abraham Westerbaan	2
+	Applying quantitative semantics to higher-order quantum computing	2014	Michele Pagani Peter Selinger Benoît Valiron	2
+	Measures with Values in a Partially Ordered Vector Space	1972	J. D. Maitland Wright	2
+ PDF Chat	Semantics of Higher-Order Quantum Computation via Geometry of Interaction	2011	Ichiro Hasuo Naohiko Hoshino	2
+	A Course in Operator Theory	1999	John B. Conway	2
+ PDF Chat	Reexamination of quantum bit commitment: The possible and the impossible	2007	Giacomo Mauro D’Ariano Dennis Kretschmann Dirk Schlingemann Reinhard F. Werner	2
+	Introduction to extensive and distributive categories	1993	A. Carboni Stephen Lack R. F. C. Walters	2
+	Categorical aspects of bivariant K-theory	2008	Ralf Meyer	2
+	Theory of Operator Algebras II	2003	Masamichi Takesaki	2
+	On Rings of Operators. Reduction Theory	1949	John von Neumann	2
+	The Metric Completion of Convex Sets and Modules	2002	Dieter Pumplün	2
+ PDF Chat	Positive maps that are not completely positive	2000	Sixia Yu	2