Author:
Andreoli Jean-Marc,Pulcini Gabriele,Ruet Paul
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abrusci, V.M.: Non-commutative logic and categorial grammar: ideas and questions. In: Abrusci, V.M., Casadio, C. (eds.) Dynamic Perspectives in Logic and Linguistics, Cooperativa Libraria Universitaria Editrice Bologna (1999)
2. Abrusci, V.M., Ruet, P.: Non-commutative logic I: the multiplicative fragment. Annals of Pure and Applied Logic 101(1), 29–64 (2000)
3. London Mathematical Society Lecture Notes Series;J.-M. Andreoli,2004
4. Andreoli, J.-M., Pareschi, R.: Linear objects: logical processes with built-in inheritance. New Generation Computing 9 (1991)
5. Bellin, G., Fleury, A.: Planar and braided proof-nets for multiplicative linear logic with mix. Archive for Mathematical Logic 37(5-6), 309–325 (1998)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献