Comments on: A Type Theory for Probability Density Functions http://ashishagarwal.org/2011/10/04/pdf-type-theory/ Wed, 17 Aug 2016 12:44:04 +0000 hourly 1 https://wordpress.org/?v=4.1.42 By: Martin Escardo http://ashishagarwal.org/2011/10/04/pdf-type-theory/comment-page-1/#comment-2564 Fri, 27 Jan 2012 19:28:01 +0000 http://ashishagarwal.org/?p=156#comment-2564 Very nice. I am attending your talk at POPL right now. I would like to related work I have done in the past (MFPS’2009 in Oxford, published in ENTCS):
http://www.cs.bham.ac.uk/~mhe/papers/mma-mfps-revised.pdf

That paper also adds a type of distributions (using the probabilistic powerdomain as the denotational semantics), and can compute integration and semi-decide probabilitistic testing. There was a problem left open at the end, which Jean Goubault-Larrecq and Daniele Varacca solved in a LICS’2012 paper: http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GLV-lics2011.pdf

]]>