2 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