1. New Directions in Type-Theoretic Grammars

   • Reinhard Muskens

   EditorialNotes Open access 20 December 2009 Pages: 129 - 136

2. Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars

   • Makoto Kanazawa

   OriginalPaper 18 December 2009 Pages: 137 - 161

3. On the Membership Problem for Non-Linear Abstract Categorial Grammars

   • Sylvain Salvati

   OriginalPaper 19 December 2009 Pages: 163 - 183

4. A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

   • Christian Retoré
   • Sylvain Salvati

   OriginalPaper 06 January 2010 Pages: 185 - 200

5. PGF: A Portable Run-time Format for Type-theoretical Grammars

   • Krasimir Angelov
   • Björn Bringert
   • Aarne Ranta

   OriginalPaper 15 December 2009 Pages: 201 - 228

6. Towards a Type-Theoretical Account of Lexical Semantics

   • Christian Bassac
   • Bruno Mery
   • Christian Retoré

   OriginalPaper 25 December 2009 Pages: 229 - 245