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..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Austinian truth, attitudes and type theory ∗.Robin Cooper - unknown
Records and record types in semantic theory.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.
Copredication, dynamic generalized quantification and lexical innovation by coercion.Robin Cooper - unknown
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Information States, Attitudes and Dependent Record Types.Robin Cooper - unknown
Dynamic generalised quantifiers and hypothetical contexts.Robin Cooper - unknown
Propositions as [Types].Steve Awodey & Andrej Bauer - unknown
Resolving Ellipsis in Clarification.Jonathan Ginzburg & Robin Cooper - unknown

Analytics

Added to PP
2009-01-28

Downloads
11 (#1,144,917)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Afterword.Robin Cooper - 2003 - Journal of Logic, Language and Information 12 (3):369-374.

Add more citations

References found in this work

No references found.

Add more references