Type Theory with Records and Unification-based Grammar
| Abstract | We suggest a way of bringing together type theory and unification-based grammar formalisms by using records in type theory. The work is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesAarne 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.
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.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads3 ( #203,804 of 556,803 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
