Using Dependent Record Types in Clarification Ellipsis
| Abstract | We present a sketch of a formulation of an analysis of clarification ellipsis using dependent record types as they have been developed in Martin-Lof type theory. Record types provide a semantic formalism which at the same time.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| 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.
Jonathan Ginzburg & Robin Cooper (2004). Clarification, Ellipsis, and the Nature of Contextual Updates in Dialogue. Linguistics and Philosophy 27 (3):297-365.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,421 of 549,065 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
