Type logical grammar: categorial logic of signs - Morrill, Glyn V. (Kluwer Academic publisher, 1994)
Index.