Semantics of the Probabilistic Typed Lambda Calculus: Markov ...
Dirk Draheim
Annabelle McIver and Carroll Morgan. Partial Correctness for Probabilistic Demonic Programs. Theoretical Computer Science, vol. 266, nos. 1–2, 2001, pp. 513–541, 2001. Annabelle McIver and Carroll Morgan. Abstraction, Refinement and ...