Co-variation

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 …...