non-commutative tensor

• To: linear@cs.stanford.edu
• Subject: non-commutative tensor
• From: Christian Retore <retore@espace.cma.fr>
• Date: Wed, 6 Oct 93 11:17:05 +0100
• Approved: types@dcs.gla.ac.uk

During the summer there was a discussion on calculi 
involving both commutative and non-commutative connectives.
I mentionned the work I did on this topic, 
but there was nothing available by ftp.

I partly fixed this trouble by putting the 
english introduction of my thesis 
called:                    intro.dvi 
on the ftp site:           cma.cma.fr
under the directory:       pub/papers/retore

The paper on this ordered calculus will soon be available
on the same ftp directory, with the name pomset.dvi 

• Prev: Multiple Inheritance via Intersection Types
• Next: paper available
• Index(es):
  • Main
  • Thread