A note on the complexity of abstract categorial grammars

Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness

On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms

Journal of Logic, Language and Information

Towards abstract categorial grammars

ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics

The complexity and generative capacity of lexicalized abstract categorial grammars

LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics

Syntactic descriptions: a type system for solving matching equations in the linear λ-calculus

RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications