Type Theory with Records and Unification-based Grammar

Abstract

We suggest a way of bringing together type theory and unification-based grammar formalisms by using records in type theory. The work is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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
Unification in Field Theories.C. Lehner - unknown
Binding Theory in LTAG.Williams Hall & Lucas Champollion - unknown
Dynamic generalised quantifiers and hypothetical contexts.Robin Cooper - unknown
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
A formal treatment of the causative constructions in chinese.Chongli Zou & Nianxi Xia - 2008 - Frontiers of Philosophy in China 3 (2):307-316.
Anaphora and Type Logical Grammar.David Dowty - unknown
An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknown
Kvantifikator för en Dag.Robin Cooper - unknown
Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of `common European' and Japanese types.Ivan Zakharyaschev - unknown
A type reduction from proof-conditional to dynamic semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.

Analytics

Added to PP
2010-12-22

Downloads
22 (#666,248)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references