Marcelo da Silva Corrêa

Publication Activity (10 Years)

Years Active: 1997-2005
Publications (10 Years): 0

Publications

Marcelo da Silva Corrêa, Edward Hermann Haeusler
On the Selective Lambek Calculus. LACL (2005)
Leonardo B. Vana, Marcelo da Silva Corrêa
A Tableau Method for the Lambek Calculus based on a Matrix Characterization. Electron. Notes Theor. Comput. Sci. 84 (2003)
Edward Hermann Haeusler, Marcelo da Silva Corrêa
A Concrete Categorical Model for the Lambek Syntactic Calculus. Math. Log. Q. 43 (1997)