Noncomputable conditional distributions (2011)

by N L Ackerman, C E Freer, D M Roy
Venue:In Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on