Abstract
Word meanings are context sensitive and may change in different situations. In this paper, we consider how contexts and the associated contextual meanings of words may be represented in type-theoretical semantics, the formal semantics based on modern type theories. It is shown, in particular, that the framework of coercive subtyping provides various useful tools in the representation. © 2011 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Luo, Z. (2011). Contextual analysis of word meanings in type-theoretical semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6736 LNAI, pp. 159–174). https://doi.org/10.1007/978-3-642-22221-4_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
