Marcelo da Silva Corrêa

According to our database, Marcelo da Silva Corrêa authored at least 3 papers between 1997 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

On the Selective Lambek Calculus.

Marcelo da Silva Corrêa, Edward Hermann Haeusler

Proceedings of the Logical Aspects of Computational Linguistics, 2005

2003

A Tableau Method for the Lambek Calculus based on a Matrix Characterization.

Leonardo B. Vana, Marcelo da Silva Corrêa

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

1997

A Concrete Categorical Model for the Lambek Syntactic Calculus.

Edward Hermann Haeusler, Marcelo da Silva Corrêa

Math. Log. Q., 1997