3 results
The formal ball model for -categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 1 / February 2011
- Published online by Cambridge University Press:
- 02 December 2010, pp. 41-64
-
- Article
- Export citation
The limit–colimit coincidence theorem for -categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 2 / April 2010
- Published online by Cambridge University Press:
- 25 March 2010, pp. 267-284
-
- Article
- Export citation
Partial metrisability of continuous posets
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 2 / April 2006
- Published online by Cambridge University Press:
- 17 May 2006, pp. 359-372
-
- Article
- Export citation