A probabilistic powerdomain of evaluations (0)

by C Jones, G D Plotkin
Venue:In Proceedings, Fourth Annual Symposium on Logic in Computer Science