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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Copredication, Dynamic Generalized Quantiﬁcation and Lexical Innovation by Coercion.Robin Cooper - unknown
Clarification, Ellipsis, and the Nature of Contextual Updates in Dialogue.Jonathan Ginzburg & Robin Cooper - 2004 - Linguistics and Philosophy 27 (3):297-365.
Added to index2009-01-28
Total downloads10 ( #435,602 of 2,178,142 )
Recent downloads (6 months)1 ( #316,663 of 2,178,142 )
How can I increase my downloads?