1. Lecture Notes in Artificial Intelligence;D. Bargelli,2001
2. Béchet, D.: Parsing pregroup grammars and Lambek calculus using partial composition. Studia Logica 87(2/3) (2007)
3. Béchet, D., Dikovsky, A., Foret, A., Garel, E.: Introduction of option and iteration into pregroup grammars. In: Casadio, C., Lambek, J. (eds.) Computational Algebraic Approaches to Natural Language, pp. 85–107. Polimetrica, Monza, Milan (2008),
http://www.polimetrica.com
4. Béchet, D., Dikovsky, A., Foret, A., Garel, E.: Optional and iterated types for pregroup grammars. In: Martín-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol. 5196, pp. 88–100. Springer, Heidelberg (2008), http://grammars.grlmc.com/LATA2008
5. Buszkowski, W.: Cut elimination for the lambek calculus of adjoints. In: Abrusci, V., Casadio, C. (eds.) New Perspectives in Logic and Formal Linguisitics, Proceedings Vth ROMA Workshop. Bulzoni Editore (2001)