Author Info
Name
Affiliation
Papers
KENTA CHO
Radboud Univ Nijmegen, Inst Comp & Informat Sci, POB 9010, NL-6500 GL Nijmegen, Netherlands
6
Collaborators
Citations 
PageRank 
5
26
3.10
Referers 
Referees 
References 
30
45
36
Title
Citations
PageRank
Year
Disintegration and Bayesian Inversion via String Diagrams00.342019
The EfProb Library for Probabilistic Calculations.60.602017
Von Neumann Algebras form a Model for the Quantum Lambda Calculus.00.342016
Total And Partial Computation In Categorical Quantum Foundations70.662015
An Introduction to Effectus Theory90.702015
Semantics for a Quantum Programming Language by Operator Algebras.40.472014