Type-inheritance Combinatory Categorial Grammar John Beavers author 2004-aug 23–aug 27 text COLING 2004: Proceedings of the 20th International Conference on Computational Linguistics COLING Geneva, Switzerland conference publication beavers-2004-type https://aclanthology.org/C04-1009/ 2004-aug 23–aug 27 57 63