Type Logical Grammar: Categorial Logic of Signs (1994)

by G V Morrill