Christophe Gaubert Two-dimensional proof-structures and the exchange rule. 73-96 2004 14 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129503004092 db/journals/mscs/mscs14.html#Gaubert04