Hypothetical reasoning and radical non-constituent coordination in categorial logic - Francez, Nissim (Centrum voor Wiskunde en Informatica, 1997)