Author:
Abrusci Vito Michele,Maieli Roberto
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abrusci, V.M.: Classical conservative extensions of Lambek calculus. Stud. Logica. 71(3), 277–314 (2002)
2. Abrusci, V.M., Ruet, P.: Non-commutative logic I: the multiplicative fragment. Ann. Pure Appl. Logic 101(1), 29–64 (2000)
3. Andreoli J.-M. and Pareschi, R.: From Lambek calculus to word-based parsing. In: Proceedings of Workshop on Substructural Logic and Categorial Grammar, CIS Munchen, Germany (1991)
4. Danos, V., Regnier, L.: The structure of multiplicatives. Arch. Math. Logic 28, 181–203 (1989)
5. Girard, J.-Y.: Linear logic. Theoret. Comput. Sci. 50, 1–102 (1987)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献