Higher-Order Coloured Unification and Natural Language Semantics

Details Higher-Order Coloured Unification and Natural Language Semantics Higher-Order Coloured Unification and Natural Language Semantics

1996-05-02

arxiv.org/abs/cmp-lg/9605004v1

Computer Science

Computation and Language

9 pages, LateX file, uses aclap.sty, To appear in Proceedings of ACL96

Scientific paper

In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple, Shieber and Pereira, 1991)'s analysis called for.

Affiliated with

Also associated with

No associations

Rating

Higher-Order Coloured Unification and Natural Language Semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Higher-Order Coloured Unification and Natural Language Semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Higher-Order Coloured Unification and Natural Language Semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-296972