Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Aarts, E.: Proving theorems of the second order lambek calculus in polynomial time. Studia Logica 53(3), 373–387 (1994)
2. Fowler, T.A.D.: Efficient parsing with the Product-Free lambek calculus. In: Proceedings of The 22nd International Conference on Computational Linguistics (2008)
3. Fowler, T.A.D.: Term graphs and the NP-completeness of the Product-Free lambek calculus. In: Proceedings of the 14th Conference on Formal Grammar (2009)
4. Kruijff, G.J.M., Baldridge, J.M.: Relating categorial type logics and CCG through simulation. Unpublished Manuscript, University of Edinburgh (2000)
5. Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly 65(3), 154–170 (1958)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献