Tree-adjoining grammars as abstract categorial grammars

TAG+ 2002 - Proceedings of the 6th International Workshop on Tree Adjoining Grammar and Related Frameworks

Volumn , Issue , 2002, Pages 145-150

  de Groote, Philippe ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85118760974     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Abrusci, M., C. Fouqueré and J. Vauzeilles. 1999. Tree-adjoining grammars in a fragment of the Lambek calculus. Computational Linguistics, 25(2):209-236.
2. Barendregt, H.P. 1984. The lambda calculus, its syntax and semantics. revised edition. North-Holland.
3. Carpenter, B. 1996. Type-Logical Semantics. Cambridge, Massachussetts and London England: MIT Press.
4. de Groote, Ph. 2001. Towards Abstract Categorial Grammars. In Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference, pages 148-155.
5. Girard, J.-Y. 1987. Linear Logic. Theoretical Computer Science, 50:1-102.
6. Joshi, A. K. and S. Kulick. 1997. Partial Proof Trees as Building Blocks for a Categorial Grammar. Linguistic & Philosophy, 20:637-667.
7. Joshi, A. K. and Y. Schabes. 1997. Tree-adjoining grammars. In G. Rozenberg and A. Salomaa, editors, Handbook of formal languages, volume 3. Springer, chapter 2.
8. Mönnich, U. 1997. Adjunction as substitution. In G.-J. Kruijff, G. Morrill and D. Oehrle, editors, Formal Grammar, pages 169-178. FoLLI.
9. Moortgat, M. 1997. Categorial Type Logic. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language. Elsevier, chapter 2.
10. Morrill, G. 1994. Type Logical Grammar: Categorial Logic of Signs. Dordrecht: Kluwer Academic Publishers.
11. Oehrle, R. T. 1994. Term-labeled categorial type systems. Linguistic & Philosophy, 17:633-678.
12. Ranta, A. 2002. Grammatical Framework, a type-theoretical grammar formalism. Working paper, submitted for publication.