3 results
Characterising E-projectives via Comonads
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 4 / May 2017
- Published online by Cambridge University Press:
- 12 May 2015, pp. 491-506
-
- Article
- Export citation
On the largest outscribed equilateral triangle
-
- Journal:
- The Mathematical Gazette / Volume 98 / Issue 541 / March 2014
- Published online by Cambridge University Press:
- 23 January 2015, pp. 79-84
- Print publication:
- March 2014
-
- Article
- Export citation
An operational domain-theoretic treatment of recursive types†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 1 / February 2014
- Published online by Cambridge University Press:
- 19 March 2013, e240101
-
- Article
- Export citation