@dblp

On Mixing Deduction and Substitution in Lambek Categorial Grammars.

. LACL, volume 2099 of Lecture Notes in Computer Science, page 158-174. Springer, (2001)

Links and resources

Tags