From intuitionistic proof nets to Interaction Grammars Guy Perrier author 2000-05 text Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+5) Université Paris 7 conference publication perrier-2000-intuitionistic https://aclanthology.org/W00-2025/ 2000-05 177 184