Thomas Ehrhard -

Registered user since Wed 1 Nov 2017

Name:Thomas Ehrhard

Affiliation:CNRS and University Paris Diderot

Contributions

PPS 2018	Author of Stable, measurable functions and probabilistic programs within the PPS 2018-track
POPL 2018	Author of Measurable cones and stable, measurable functions within the Research Papers-track