Categorial type logics,” in Handbook of Logic and Language (1997)

by M Moortgat