9 results
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 25 October 2016, pp. 145-157
- Print publication:
- March 2017
-
- Article
- Export citation
Shuffles and concatenations in the construction of graphs†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 6 / December 2012
- Published online by Cambridge University Press:
- 30 October 2012, pp. 904-930
-
- Article
- Export citation
Coherence for monoidal monads and comonads†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 4 / August 2010
- Published online by Cambridge University Press:
- 27 May 2010, pp. 545-561
-
- Article
- Export citation
Coherence for monoidal endofunctors†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 4 / August 2010
- Published online by Cambridge University Press:
- 27 May 2010, pp. 523-543
-
- Article
- Export citation
Associativity as commutativity
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-226
- Print publication:
- March 2006
-
- Article
- Export citation
Generality of proofs and its Brauerian representation
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 740-750
- Print publication:
- September 2003
-
- Article
- Export citation
On permuting cut with contraction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 01 April 2000, pp. 99-136
-
- Article
- Export citation
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-242
- Print publication:
- March 1999
-
- Article
- Export citation
Isomorphic objects in symmetric monoidal closed categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 6 / December 1997
- Published online by Cambridge University Press:
- 01 December 1997, pp. 639-662
-
- Article
- Export citation