On the linear decoration of intuitionistic derivations Vincent DanosJean-Baptiste JoinetHarold Schellinx OriginalPaper Pages: 387 - 412