Type logical grammar: Categorial logic of signs (1994)

by G Morrill