Research Article
Domain equations for probabilistic processes
-
- Published online by Cambridge University Press:
- 04 April 2001, pp. 665-717
-
- Article
- Export citation
Linear types and approximation
-
- Published online by Cambridge University Press:
- 04 April 2001, pp. 719-745
-
- Article
- Export citation