Higher-order coloured unification and natural language semantics

Proceedings of the Annual Meeting of the Association for Computational Linguistics

Volumn 1996-June, Issue , 1996, Pages 1-9

  Gardent, Claire ^a   Kohlhase, Michael ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

AUTOMATED THEOREM PROVING; GENERAL THEORY; HIGH-ORDER; HIGHER-ORDER; NATURAL LANGUAGE SEMANTICS; SEMANTICS INFORMATION;

SEMANTICS;

EID: 26944482538     PISSN: 0736587X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Christine Bartels. 1995. Second occurrence test. Ms.
2. Noam Chomsky. 1976. Conditions on rules in grammar. Linguistic Analysis, 2(4):303-351.
3. Mary Dalrymple, Stuart Shieber, and Fernando Pereira. 1991. Ellipsis and higher-order-unification. Linguistics and Philosophy, 14:399-452.
4. Daniel Dougherty. 1993. Higher-order unification using combinators. Theoretical Computer Science B, 114(2):273-298.
5. Gilles Dowek. 1992. Third order matching is decidable. In Proc. LICS92, pages 2-10. IEEE Computer Society Press.
6. Claire Gardent and Michael Kohlhase. 1996. Focus and higher-order unification. In Proe. COLING96 forthcoming.
7. Claire Gardent, Michael Kohlhase, and Noor van Leusen. 1996. Corrections and higher-order unification. CLAUS report 77, University of Saarland.
8. Claire Gardent. 1996. Anaphores paralleles et techniques de resolution. Langages.
9. G@rard Huet. 1975. A unification algorithm for typed A-calculus. Theoretical Computer Science 1, pages 27-57.
10. Ulrich Hustadt. 1991. A complete transformation system for polymorphic higher-order unification. Technical Report MPI-I-91-228, MPI Informatik, Saarbriicken, Germany.
11. Dieter Hutter and Michael Kohlhase. 1995. A coloured version of the A-calculus. SEKI-Report SR-95-05, Universit/it des Saarlandes.
12. Ray S. Jackendoff. 1972. Semantic Interpretation in Generative Grammar. The MIT Press.
13. Angelika Kratzer. 1991. The representation of focus. In Arnim van Stechow and Dieter Wunderlich, editors, Semantik: Ein internationales Handbuch der zeitgenoessischen Forschung. Berlin: Walter de Gruyter.
14. Manfred Pinkal. 1995. Radical underspecification. In The lOth Amsterdam Colloquium.
15. Christian Prehofer. 1994. Decidable higher-order unification problems. In Alan Bundy, editor, Proc. CADE94, LNAI, pages 635-649, Nancy, France.
16. Steve G. Pulman. 1995. Higher-order unification and the interpretation of focus. Paper submitted for publication.
17. Kai von Fintel. 1995. A minimal theory of adverbial quantification. Unpublished draft Ms. MIT, Cambridge, March.