SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Representing Anaphora with Dependent Types
10 references·1 citing·40 second hop
Representing Anaphora with Dependent Types (2014)Representing Anaphora with Dependent TypesA Theory of Truth and Semantic Representation (2013)A Theory of Truth and Semanti…Breaking Quotations (2008)Breaking QuotationsTowards a Montagovian Account of Dynamics (2006)Towards a Montagovian Account…Presuppositions and Pronouns (1999)Presuppositions and PronounsType-Theoretical Grammar (1995)Type-Theoretical GrammarPresupposition Projection as Anaphora Resolution (1992)Presupposition Projection as …Proof Theory and Meaning (1986)Proof Theory and MeaningA cross-categorial semantics for coordination (1980)A cross-categorial semantics …Discourse Referents (1976)Discourse ReferentsReference and Generality: An Examination of Some Medieval and Modern Theories. (1965)Reference and Generality: An …Types and Type Theories in Natural Language Analysis (2023)Types and Type Theories in Na…Constraints on variables in syntax (1967)The Proper Treatment of Quantification in Ordinary English (1973)Linguistic theory and psychological reality . Edited by Morris Halle, Joan Bresnan, and George A. Miller. (MIT Bicentennial studies, 3.) Cambridge, MA: MIT Press. 1978. Pp. xvii, 329. $17.50. [Paperback edition, 1981; $7.95.]. (1982)Cross-linguistic semantics (1994)Cross-Linguistic Semantics (2008)On the semantics and pragmatics of epistemic vocabulary (2015)The Semantics of Definite and Indefinite Noun Phrases (1982)From Discourse to Logic (1993)Restrictions on quantifier domains (1994)Some Aspects of Optimality in Natural Language Interpretation (2000)Situations and individuals (2005)Logic, Methodology and Philosophy of Science. (1963)Truth and meaning (1967)Conservative Generalized Quantifiers and Presupposition (2001)Inquiries into Truth and Interpretation (2001)Austinian Truth, Attitudes and Type Theory (2005)Records and Record Types in Semantic Theory (2005)Reference and Generality. (1963)Eliding the derivation: A minimalist formalization of ellipsis (2012)Continuations and Natural Language (2014)The sophisticated kind theory (2016)Meaning (1957)A Plea For Monsters (2003)Mixed quotation: The grammar of apparently transparent opacity (2014)Anticausatives are weak scalar expressions, not reflexive expressions (2016)What Verities May Be (2016)Towards abstract categorial grammars (2001)Quantifiers in Language and Logic (2008)Discourse Representation Theory (2010)Strategies of Discourse Comprehension (1985)From discourse to logic : Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. By Hans Kamp and Uwe Reyle. Dordrecht: Kluwer, 1993. 2 vols. Pp. 713 (consecutive pagination). (1995)The Logic of Conventional Implicatures (2004)On artifacts and works of art1 (1992)X—Authors and Artifacts (1993)Two Types of Pronouns and Variable Binding (1997)Representing Discourse in Context* (1997)Modes of Discourse (2003)Handbook of French Semantics (2004)A New Look at the Semantics and Pragmatics of Numerically Quantified Noun Phrases (2007)Toward a Taxonomy of Projective Content (2013)
this work references cited by second hop

References

  • 2013A Theory of Truth and Semantic Representation1,502 cited
  • 1992Presupposition Projection as Anaphora Resolution1,156 cited
  • 1976Discourse Referents501 cited
  • 1995Type-Theoretical Grammar431 cited
  • 1999Presuppositions and Pronouns376 cited
  • 1965Reference and Generality: An Examination of Some Medieval and Modern Theories.214 cited
  • 1986Proof Theory and Meaning193 cited
  • 1980A cross-categorial semantics for coordination158 cited
  • 2008Breaking Quotations154 cited
  • 2006Towards a Montagovian Account of Dynamics126 cited

Cited by

  • 2023Types and Type Theories in Natural Language Analysis26 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work