- Lambek Calculus. Multimodal and Polymorphic Extensions, DYANA Report R1.1.B. M. Moortgat (ed). OTS, Utrecht, 1994.
- Proceedings of the ACL97 / EACL97 Joint Conference, Madrid, July 1997. (The 35th Annual Meeting of the Association for Computational Linguistics and 8th Conference of the European Chapter of the Association
- Proceedings of the 14th International Conference on Computational Linguistics (COLING'92), Nantes, France, 1992
- Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics (ACL29), University of California, Berkeley, 1991
- Proceedings of the 1st International Conference on Language Resources and Evaluation (LREC'98), Granada, 1998 pp. 143-149.
- Proceedings of the 1st International Conference on Language Resources and Evaluation (LREC'98) Workshop on the Evaluation of Parsing Systems, Granada, 1998.
- Command and Domain Proceedings of the Eighth Amsterdam Colloquium, University of Amsterdam, 1992
- Hybrid Categorial Logics MARK HEPPLE, Department of Computer Science, University of
- The Grammar and Processing of Order and Dependency
- Proofs and Linguistic Categories: Applications of Logic to the Analysis and Implementation of Natural Language. V.M. Abrusci &
- A General Framework for Hybrid Substructural Categorial Logics
- Proceedings of the 7th Conference of the European Chapter of the Association for Computational Linguistics (EACL7), Dublin, March 1995.
- Proceedings of the 7th Conference of the European Chapter of the Association for Computational Linguistics (EACL7), Dublin, March 1995.
- Proceedings of the 16th International Conference on Computational Linguistics (COLING'96), Copenhagen, Denmark. August, 1996.
- Proceedings of the COLINGACL'98 Joint Conference (The 17th Int. Conf. on Computational Linguistics, and 36th Annual Meeting of the Assoc. for Computational Linguistics), Montreal, Aug 1998, pp 699703
- The Grammar and Processing of Order and Dependency
- Proofs and Linguistic Categories: Applications of Logic to the Analysis and Implementation of Natural Language. V.M. Abrusci &
- Proceedings of the 15th International Conference on Computational Linguistics (COLING94), Kyoto, Japan, 1994.
- Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics (ACL-2000), pp278--285. Hong Kong, October 2000.
- Proceedings of the COLINGACL'98 Joint Conference (The 17th International Conference on Computational Linguistics, and 36th Annual Meeting of the
- Proceedings of the 37th Annual Meeting of the Association for Computational Linguistics (ACL'99). Maryland, June 1999, pp465475.
- Proofs and Linguistic Categories: Applications of Logic to the Analysis and Implementation of Natural Language. V.M. Abrusci &
- Proceedings of the Third International Workshop on Computational Semantics (IWCS3), KUB, Tilburg, January 1999
- Proceedings of the Fifth Meeting on Mathematics of Language (MOL5), Tilman Becker and HansUlrich Krieger (eds), DFKID9702, 1997.
- Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics (ACL29), University of California, Berkeley, 1991