Corrections and higher-order unification

Gardent C, Kohlhase M, van Leusen N (1996)


Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1996

Pages Range: 268-279

Abstract

We propose an analysis of corrections which models some of the requirements corrections place on context. We then show that this analysis naturally extends to the interaction of corrections with pronominal anaphora on the one hand, and (in)definiteness on the other. The analysis builds on previous unification-based approaches to NL semantics and relies on Higher-Order Unification with Equivalences (HOUE), a form of unification which takes into account not only syntactic beta eta-identity but also denotational equivalence.

Authors with CRIS profile

How to cite

APA:

Gardent, C., Kohlhase, M., & van Leusen, N. (1996). Corrections and higher-order unification. (pp. 268-279).

MLA:

Gardent, Claire, Michael Kohlhase, and Noor van Leusen. "Corrections and higher-order unification." 1996. 268-279.

BibTeX: Download