9 results
Zen and the art of formalisation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 4 / August 2011
- Published online by Cambridge University Press:
- 01 July 2011, pp. 679-682
-
- Article
- Export citation
Mobile Petri nets
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1265-1278
-
- Article
- Export citation
Social processes, program verification and all that
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 5 / October 2009
- Published online by Cambridge University Press:
- 07 September 2009, pp. 877-896
-
- Article
- Export citation
Interaction Systems I: The theory of optimal reductions†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 457-504
-
- Article
- Export citation
Causal dependencies in multiplicative linear logic with MIX
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 351-380
-
- Article
- Export citation
A categorical understanding of environment machines
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 1 / January 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 23-59
-
- Article
-
- You have access
- Export citation
The bologna optimal higher-order machine
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 6 / November 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 763-810
-
- Article
-
- You have access
- Export citation
A sufficient condition for completability of partial combinatory algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1209-1214
- Print publication:
- December 1997
-
- Article
- Export citation
Conformally Flat Riemannian Manifolds as Hypersurfaces of the Light Cone
- Part of
-
- Journal:
- Canadian Mathematical Bulletin / Volume 32 / Issue 3 / 01 September 1989
- Published online by Cambridge University Press:
- 20 November 2018, pp. 281-285
- Print publication:
- 01 September 1989
-
- Article
-
- You have access
- Export citation