Paper
An operational domain-theoretic treatment of recursive types†
-
- Published online by Cambridge University Press:
- 19 March 2013, e240101
-
- Article
- Export citation
Fixed points of contractive maps on dcpo's
-
- Published online by Cambridge University Press:
- 13 May 2013, e240102
-
- Article
- Export citation
Equivalence relations for modular performance evaluation in dtsPBC
-
- Published online by Cambridge University Press:
- 14 May 2013, e240103
-
- Article
- Export citation
A linear category of polynomial diagrams
-
- Published online by Cambridge University Press:
- 17 May 2013, e240104
-
- Article
- Export citation