Reasoning with polarity in categorial type logic - Bernardi, Raffaella Anna (Partners Ipskamp, 2002)