8 results
A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 4 / April 2022
- Published online by Cambridge University Press:
- 16 December 2022, p. 348
-
- Article
-
- You have access
- HTML
- Export citation
A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part I
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 7 / August 2021
- Published online by Cambridge University Press:
- 28 February 2022, pp. 746-747
-
- Article
-
- You have access
- Export citation
A quantum double construction in Rel†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 4 / August 2012
- Published online by Cambridge University Press:
- 18 May 2012, pp. 618-650
-
- Article
- Export citation
Small-step and big-step semantics for call-by-need
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 07 September 2009, pp. 699-722
-
- Article
-
- You have access
- Export citation
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 148 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 05 May 2009, pp. 107-109
- Print publication:
- January 2010
-
- Article
- Export citation
On traced monoidal closed categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 2 / April 2009
- Published online by Cambridge University Press:
- 01 April 2009, pp. 217-244
-
- Article
- Export citation
Classical linear logic of implications
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 2 / April 2005
- Published online by Cambridge University Press:
- 14 March 2005, pp. 323-342
-
- Article
- Export citation
Girard translation and logical predicates
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 01 January 2000, pp. 77-89
-
- Article
-
- You have access
- Export citation