From intuitionistic proof nets to Interaction Grammars

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.