SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Representing Anaphora with Dependent Types · Study

WorkRepresenting Anaphora with Dependent Types

Daisuke Bekki2014

Work2014

Representing Anaphora with Dependent Types

44 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Syntax, Semantics, Linguistic Variation Logic, programming, and type systems Logic, Reasoning, and Knowledge

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 44 citations exist upstream.

References

2013A Theory of Truth and Semantic Representation 1992Presupposition Projection as Anaphora Resolution 1976Discourse Referents 1995Type-Theoretical Grammar 1999Presuppositions and Pronouns 1965Reference and Generality: An Examination of Some Medieval and Modern Theories.1986Proof Theory and Meaning 1980A cross-categorial semantics for coordination

Cited by

2023Types and Type Theories in Natural Language Analysis

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2010Discourse Representation Theorychapter · 4 shared references 2009Structured anaphora to quantifier domainsarticle · 4 shared references 2004Handbook of French Semanticsbook · 3 shared references 1997Representing Discourse in Context*chapter · 3 shared references 2008Be Articulate: A pragmatic theory of presupposition projectionarticle · 3 shared references 2007Review of The Logic of Conventional Implicatures by Chris Pottsother · 3 shared references

Details

Year2014

Typeother

Published2014-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations44

Files0 public / 0

ShelfSyntax, Semantics, Linguistic Variation

Identifiers

doi10.1007/978-3-662-43742-1_2

openalex_workW27606498

Links

Imported from OpenAlex (CC0) — nothing here is generated.