Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abrusci, V.M.: Lambek calculus, cyclic linear logic, noncommutative linear logic: language and sequent calculus. In: Proofs and Linguistic Categories. Cooperativa Libraria Universitaria Editrice Bologna, pp. 21–48 (1997)
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. Andreoli, J.-M.: Focussing and proof construction. Annals of Pure and Applied Logic 107, 131–163 (2001)
4. London Mathematical Society Lecture Notes Series;J.-M. Andreoli,2004
5. Lecture Notes in Computer Science;J.-M. Andreoli,2005
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献