1. Fully lexicalized pregroup grammars;Béchet,2007
2. Language in Action. Categories, Lambdas and Dynamic Logic;van Benthem,1991
3. Mathematical linguistics and proof theory;Buszkowski,1997
4. Lambek grammars based on pregroups;Buszkowski,2001
5. Sequent systems for compact bilinear logic;Buszkowski;MLQ Math. Log. Q.,2003