conf.researchr.org / Sean K. Moss

Not registered as user yet

Name: Sean K. Moss

Affiliation: University of Cambridge

Contributions

PPS 2018Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
POPL 2018Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
HOPE 2016Author of Functional models of full ground, and general, reference cells within the HOPE-track