A Type-Theoretic Approach to Anaphora and Ellipsis Resolution

Article English OPEN
Lappin, Shalom ; Fox, C (2004)
  • Subject: PHI

Article
  • References (25)
    25 references, page 1 of 3

    Barendregt, Henk. 1984. The Lambda Calculus: Its Syntax and Semantics (vol. 103, Second edition). Amsterdam: North Holland.

    Church, Alonzo. 1940. “A Formulation of the Simple Theory of Types”. Journal of Symbolic Logic 5:56-68.

    Dalrymple, Mary, Stuart Shieber & Fernando Pereira. 1991. “Ellipsis and Higher-Order Unification”. Linguistics and Philosophy 14:399-452.

    Fiengo, Robert & Robert May. 1994. Indices and Identity. Cambridge, Mass.: MIT Press.

    Fitting, Melvin. 1996. First-Order Logic and Automated Theorem Proving. Berlin: Springer.

    Fox, Chris, Shalom Lappin & Carl Pollard. 2002a. “First-Order Curry-Typed Logic for Natural Language Semantics”. Proceedings of the 7th International Workshop on Natural Language Understanding and Logic Programming ed. by S. Winter, 175- 192. Copenhagen: University of Copenhagen.

    Fox, Chris, Shalom Lappin & Carl Pollard. 2002b. “Intensional First-Order Logic with Types”. Proceedings of the 7th Symposium for Logic and Language ed. by G. Alberti, K. Balough & P. Dekker, 47-56. Pecs, Hungary: Univ. of Pecs.

    Fox, Chris, Shalom Lappin & Carl Pollard. 2002c. “A Higher-Order Fine-grained Logic for Intensional Semantics”. Proceedings of the 7th Symposium for Logic and Language ed. by G. Alberti, K. Balough & P. Dekker, 37-46. Pecs, Hungary: Univ. of Pecs.

    Fox, Chris & Shalom Lappin. 2003. “Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing”. Proceedings of Formal Grammar 2003 ed. by G. P. G. Jaeger, P. Monachesi & S. Wintner, 89-102. Vienna: Technical University of Vienna.

    Fox, Chris & Shalom Lappin. 2004. “An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics”. Logic Journal of the Interest Group in Pure and Applied Logics (IGPL), vol. 12. Oxford University Press.

  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    1
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    SAS-SPACE - IRUS-UK 0 1
Share - Bookmark