Categorial Type Logics. In: Handbook of Logic and Language (1997)

by M Moortgat
Venue:J. van Benthem and A. ter Meulen