Guy Perrier. From intuitionistic proof nets to Interaction Grammars. In Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks, TAG+ 2000, Université Paris 7, France, May 25-27, 2000. pages 177-184, 2000. [doi]
Abstract is missing.