@inproceedings{perrier-2000-intuitionistic,
    title = "From intuitionistic proof nets to Interaction Grammars",
    author = "Perrier, Guy",
    booktitle = "Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks ({TAG}+5)",
    month = may,
    year = "2000",
    address = "Universit{\'e} Paris 7",
    url = "https://preview.aclanthology.org/iwcs-25-ingestion/W00-2025/",
    pages = "177--184"
}