Paper: Ambiguous Propositions Typed

ACL ID E99-1012
Title Ambiguous Propositions Typed
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 1999

Ambiguous propositions are analyzed in a type system where disambiguation is effected during assembly (i.e. by coer- cion). Ambiguity is introduced through a layer of types that are underspecified relative to a pre-existing collection of de- pendent types, construed as unambigu- ous propositions. A simple system of reasoning directly with such underspec- ification is described, and shown to be sound and complete for the full range of disambiguations. Beyond erasing types, the system supports constraints on dis- ambiguations, including co-variation.