4 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
Categorical Models of Syntactic Control of Intereference Revisited, Revisited
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 10 / 2007
- Published online by Cambridge University Press:
- 01 February 2010, pp. 176-206
-
- Article
-
- You have access
- Export citation
Games and Definability For FPC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 3 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 15 January 2014, pp. 347-362
- Print publication:
- September 1997
-
- Article
- Export citation