Christophe Gaubert

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

1 EE Christophe Gaubert: Two-dimensional proof-structures and the exchange rule. Mathematical Structures in Computer Science 14(1): 73-96 (2004)