Predicate transformers for extended probability and non-determinism

Klaus Keimel, Gordon Plotkin

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished
A Theory of Effects for Programming Languages
Plotkin, G.
EPSRC
1/03/04 → 31/10/08
Project: Research