Author of the publication

Partial Evaluation of Interaction Nets.

. WSA, volume 81-82 of Series Bigre, page 331-338. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Categorial grammars with iterated types form a strict hierarchy of k-valued languages., , and . Theor. Comput. Sci., (2012)Learnability of Pregroup Grammars., , and . Stud Logica, 87 (2-3): 225-252 (2007)Dependency Structure Grammars., , and . LACL, volume 3492 of Lecture Notes in Computer Science, page 18-34. Springer, (2005)Incremental Parsing Of Lambek Calculus Using Proof-Net Interfaces.. IWPT, page 31-42. (2003)k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures., and . WoLLIC, volume 84 of Electronic Notes in Theoretical Computer Science, page 60-72. Elsevier, (2003)CDGFr, un corpus en dépendances non-projectives pour le français., and . TALN, page 206-212. ATALA, (2015)Constructing Different Phonological Bracketings from a Proof Net., and . LACL, volume 1328 of Lecture Notes in Computer Science, page 118-133. Springer, (1996)Fully Lexicalized Pregroup Grammars., and . WoLLIC, volume 4576 of Lecture Notes in Computer Science, page 12-25. Springer, (2007)Universal Interaction Systems with Only Two Agents.. RTA, volume 2051 of Lecture Notes in Computer Science, page 3-14. Springer, (2001)Learnability of Pregroup Grammars., , and . ICGI, volume 3264 of Lecture Notes in Computer Science, page 65-76. Springer, (2004)