6 results
A Domain-Theoretic Account of Picard's Theorem
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 10 / 2007
- Published online by Cambridge University Press:
- 01 February 2010, pp. 83-118
-
- Article
-
- You have access
- Export citation
Domain theory and differential calculus (functions of one variable)
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 6 / December 2004
- Published online by Cambridge University Press:
- 16 November 2004, pp. 771-802
-
- Article
- Export citation
Introduction to special issue on domain theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 6 / December 2004
- Published online by Cambridge University Press:
- 16 November 2004, p. 769
-
- Article
- Export citation
Semi-pullbacks and bisimulation in categories of Markov processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 5 / October 1999
- Published online by Cambridge University Press:
- 01 October 1999, pp. 523-543
-
- Article
- Export citation
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 3 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 15 January 2014, pp. 401-452
- Print publication:
- December 1997
-
- Article
- Export citation
When Scott is weak on the top
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 5 / October 1997
- Published online by Cambridge University Press:
- 01 October 1997, pp. 401-417
-
- Article
- Export citation