Principles of Categorial Grammar in the Light of Current Formalisms