La r`egle d''echange : logique lineaire multiplicative tress'ee. Th`es de Doctorat, sp'ecialit'e Math'ematiques, Universit'e Paris 7 (1996)

by A Fleury