James Cheney
Randomized Programming and Probabilistic Reasoning in Type Theory
James Cheney, April 17th, 2000
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu