| 2018 | FG | Bracket Induction for Lambek Calculus with Bracket Modalities. | Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov |
| 2016 | FG | Overtly Anaphoric Control in Type Logical Grammar. | Mara Ins Corbaln, Glyn Morrill |
| 2015 | ICALP | Computational Coverage of TLG: Nonlinearity. | Glyn Morrill, Oriol Valentn |
| 2013 | FG | A Count Invariant for Lambek Calculus with Additives and Bracket Modalities. | Oriol Valentn, Daniel Serret, Glyn Morrill |
| 2010 | FG | Generalized Discontinuity. | Glyn Morrill, Oriol Valentn |
| 2010 | WoLLIC | On Anaphora and the Binding Principles in Categorial Grammar. | Glyn Morrill, Oriol Valentn |
| 1999 | EACL | Geometry of Lexico-Syntactic Interaction. | Glyn Morrill |
| 1995 | EACL | Higher-order Linear Logic Programming of Categorial Deduction. | Glyn Morrill |
| 1993 | EACL | Tuples, Discontinuity, and Gapping in Categorial Grammar. | Glyn Morrill, Teresa Solias |
| 1991 | EACL | Proof Figures And Structural Operators For Categorial Grammar. | Guy Barry, Mark Hepple, Neil Leslie, Glyn Morrill |
| 1989 | EACL | Parsing And Derivational Equivalence. | Mark Hepple, Glyn Morrill |