A Concrete Categorical Model for the Lambek Syntactic Calculus. - Edward Hermann Haeusler; Marcelo da Silva Corrêa (Math. Log. Q., 1997)

A Tableau Method for the Lambek Calculus based on a Matrix Characterization. - Leonardo B. Vana; Marcelo da Silva Corrêa (WoLLIC, 2003)

On the Selective Lambek Calculus. - Marcelo da Silva Corrêa; Edward Hermann Haeusler (LACL, 2005)