Proof Figures and Structural Operators for Categorial Grammar Guy Barry author Mark Hepple author Neil Leslie author Glyn Morrill author 1991-04 text Fifth Conference of the European Chapter of the Association for Computational Linguistics Jürgen Kunze editor Dorothee Reimann editor Association for Computational Linguistics Berlin, Germany conference publication barry-etal-1991-proof https://aclanthology.org/E91-1035/ 1991-04