Type logical grammar : categorial logic of signs - Morrill, Glyn (Kluwer Academic Publishers, 1994)