From intuitionistic proof nets to Interaction Grammars

Guy Perrier


Anthology ID:
W00-2025
Volume:
Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+5)
Month:
May
Year:
2000
Address:
Université Paris 7
Venue:
TAG+
SIG:
Publisher:
Note:
Pages:
177–184
Language:
URL:
https://aclanthology.org/W00-2025
DOI:
Bibkey:
Cite (ACL):
Guy Perrier. 2000. From intuitionistic proof nets to Interaction Grammars. In Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+5), pages 177–184, Université Paris 7.
Cite (Informal):
From intuitionistic proof nets to Interaction Grammars (Perrier, TAG+ 2000)
Copy Citation:
PDF:
https://preview.aclanthology.org/nschneid-patch-2/W00-2025.pdf