Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
A higher-order calculus and theory abstraction
Information and Computation
Computation and reasoning: a type theory for computer science
Computation and reasoning: a type theory for computer science
Type-theoretical grammar
Typing algorithm in type theory with inheritance
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Implementation of LF with Coercive Subtyping & Universes
Journal of Automated Reasoning
Fundamental Concepts in Programming Languages
Higher-Order and Symbolic Computation
Coercive Subtyping in Type Theory
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Records and Record Types in Semantic Theory
Journal of Logic and Computation
A Type Driven Theory of Predication with Complex Types
Fundamenta Informaticae - Logic for Pragmatics
Word sense disambiguation: A survey
ACM Computing Surveys (CSUR)
Proof-theoretic semantics for a natural language fragment
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Negative inquisitiveness and alternatives-based negation
AC'11 Proceedings of the 18th Amsterdam colloquim conference on Logic, Language and Meaning
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Dot-types and their implementation
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Coercive subtyping: Theory and implementation
Information and Computation
Logical polysemy and subtyping
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.00 |
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.