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]
@inproceedings{Perrier00-0,
title = {From intuitionistic proof nets to Interaction Grammars},
author = {Guy Perrier},
year = {2000},
url = {https://aclanthology.info/papers/W00-2025/w00-2025},
researchr = {https://researchr.org/publication/Perrier00-0},
cites = {0},
citedby = {0},
pages = {177-184},
booktitle = {Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks, TAG+ 2000, Université Paris 7, France, May 25-27, 2000},
}