Loading...
Please wait, while we are loading the content...
Similar Documents
Coercive subtyping and lexical semantics (Extended Abstract) (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Luo, Zhaohui Callaghan, Paul |
| Abstract | ) Zhaohui Luo and Paul Callaghan Department of Computer Science, University of Durham fZhaohui.Luo, P.C.Callaghang@durham.ac.uk 1 Introduction This paper investigates the use of constructive type theory in lexical semantics. Our intention is to explore how a rich language of types with subtyping can be used to express lexical knowledge, both as an application of type theory and as an alternative to current approaches. In particular, we show that coercive subtyping [Luo97, Luo98a], provides a formal framework with useful mechanisms for lexical semantics. Coercive subtyping extends constructive type theories (eg, Martin-Lof's intensional type theory [NPS90] and the type theory UTT [Luo94]) with a simple abbreviational mechanism. It provides elegant and flexible means of representing inheritance and overloading. In our earlier paper on the structure of Mathematical Vernacular [LC98], coercive subtyping is used to represent the inheritance relationships between mathematical concepts and ... |
| File Format | |
| Language | English |
| Publisher Date | 1998-01-01 |
| Publisher Institution | Logical Aspects of Computational Linguistics (LACL’98 |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Technical Report |
