|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||categorize this paper)|
|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.
Jonathan Ginzburg & Robin Cooper (2004). Clarification, Ellipsis, and the Nature of Contextual Updates in Dialogue. Linguistics and Philosophy 27 (3):297-365.
Added to index2009-01-28
Total downloads7 ( #142,233 of 722,745 )
Recent downloads (6 months)0
How can I increase my downloads?