|Abstract||We suggest a way of bringing together type theory and uniﬁcation-based grammar formalisms by using records in type theory. The work is part of a broader project whose aim is to present a coherent uniﬁed approach to natural language dialogue semantics using tools from type theory.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Chongli Zou & Nianxi Xia (2008). A Formal Treatment of the Causative Constructions in Chinese. Frontiers of Philosophy in China 3 (2):307-316.
Jan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Ivan Zakharyaschev, Type Logic Served by Co-Merge, Merge and Move: An Account for Sluicing and Questions of `Common European' and Japanese Types.
Zou Chongli & Xia Nianxi (2008). A Formal Treatment of the Causative Constructions in Chinese. Frontiers of Philosophy in China 3 (2):307 - 316.
Tim Fernando (2001). A Type Reduction From Proof-Conditional to Dynamic Semantics. Journal of Philosophical Logic 30 (2):121-153.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Added to index2010-12-22
Total downloads3 ( #203,804 of 556,803 )
Recent downloads (6 months)0
How can I increase my downloads?