Abrusci, M., Fouqueré, C., and Vauzeilles, J., 1999, “Tree-adjoining grammars in a fragment of the Lambek calculus,” Computational Linguistics
, 209–236.Google Scholar
Barendregt, H., 1984, The Lambda Calculus, its Syntax and Semantics, North-Holland, revised edition.
Carpenter, B., 1996, Type-Logical Semantics
, Cambridge, MA and London, U.K.: MIT Press.Google Scholar
de Groote, P., 2001, “Towards Abstract Categorial Grammars,” pp. 148–155 in Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference.
de Groote, P., 2002, “Tree-adjoining grammars as Abstract Categorial Grammars,” in pp. 145–150 TAG+6, Proceedings of the Sixth International Workshop on Tree Adjoining Grammars and Related Frameworks.
Girard, J.-Y., 1987, “Linear logic,” Theoretical Computer Science
, 1–102.CrossRefGoogle Scholar
Joshi, A.K. and Kulick, S., 1997, “Partial proof trees as building blocks for a categorial grammar,” Linguistic & Philosophy
, 637–667.CrossRefGoogle Scholar
Joshi, A.K. and Schabes, Y., 1997, “Tree-adjoining grammars,” in Handbook of Formal Languages, Vol. 3, G.R. and A. Salomaa, ed., Springer, Chapter 2.
Mönnich, U., 1997, “Adjunction as substitution,” pp. 169–178. in G.-J. Kruiff, G. Morrill, and D. Oehrle (eds.) Formal Grammar.
Moortgat, M., 1997, “Categorial type logics,” in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Elsevier, Chapter 2.
Morrill, G., 1994, Type Logical Grammar: Categorial Logic of Signs
, Dordrecht: Kluwer Academic Publishers.Google Scholar
Oehrle, R.T., 1994, “Term-labeled categorial type systems,” Linguistic & Philosophy
, 633–678.CrossRefGoogle Scholar
Pollard, C., 1984, “Generalized phrase structure grammars, head grammars, and natural language,” Ph.D. Thesis, Stanford University, CA.
Ranta, A., 2002, “Grammatical Framework,” Journal of Functional Programming
, 145–189.CrossRefGoogle Scholar
Seki, H., Matsumura, T., Fujii, M., and Kasami T., 1991, “On multiple context-free grammars,” Theoretical Computer Science
, 87–120.Google Scholar
Vijay-Shanker, K., Weir, D. J., and Joshi, A. K. 1987, ‘Characterizing structural descriptions produced by various grammatical formalisms,’ pp. 104–111 in Proceedings of the 25th ACL, Stanford, CA.
Weir, D.J., 1988, “Characterizing mildly context-sensitive grammar formalisms,” Ph.D. Thesis, University of Pennsylvania.