5 results
Lenses, fibrations and universal translations†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 1 / February 2012
- Published online by Cambridge University Press:
- 19 September 2011, pp. 25-42
-
- Article
- Export citation
Minimal realization in bicategories of automata
-
- Journal:
- Mathematical Structures in Computer Science / Volume 8 / Issue 2 / April 1998
- Published online by Cambridge University Press:
- 01 April 1998, pp. 93-116
-
- Article
- Export citation
Constructive Complete Distributivity III
-
- Journal:
- Canadian Mathematical Bulletin / Volume 35 / Issue 4 / 01 December 1992
- Published online by Cambridge University Press:
- 20 November 2018, pp. 537-547
- Print publication:
- 01 December 1992
-
- Article
-
- You have access
- Export citation
Constructive complete distributivity II
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 110 / Issue 2 / September 1991
- Published online by Cambridge University Press:
- 24 October 2008, pp. 245-249
- Print publication:
- September 1991
-
- Article
- Export citation
Idempotents in bicategories
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 39 / Issue 3 / June 1989
- Published online by Cambridge University Press:
- 17 April 2009, pp. 421-434
- Print publication:
- June 1989
-
- Article
-
- You have access
- Export citation