Write a Blog >>

Not registered as user yet

Name: Kwok-Ho Cheung

Affiliation: University of Oxford

Contributions

PPS 2016 Reasoning about Probability and Nondeterminism
Show activities from other conferences

POPL 2016-profile
View general profile