Welcome to the Abstract Categorial Grammar Homepage

This page presents the current state of the art of Abstract Categorial Grammars (ACGs). We intend to keep it up-to-date and present items of related nature. As of now here is a list of publications on ACGs.

ESSLLI 2009 Bordeaux
Week 1: Introduction to Abstract Categorial Grammars: Foundations and main properties.

Slides: day 1, day 2, day 3, day 4, day 5
Week 2: Advances in Abstract Categorial Grammars: Language theory and linguistic modeling.

The lecture notes (part 1 and part 2) are available (note that they are currently moving and might differ from the ESSLLI CD version).
Slides: day 1, days 2 and 4, day3, day 5
Handouts: day 1, days 2 and 4, day 3, day 5
Examples: example files for day 2, day 4, and lecture notes.

Bibliography   Related works   Software   Workshops    Contact


Formal Properties of the ACGs and Modeling:

On the Core Mechanisms of ACGs:

Related Works:


The Sémagramme (formerly Calligramme) is developing a toolkit for testing and parsing with ACG signatures and lexicons. It is available (with a CeCILL license): sources tarball (INSTALL) (README) (example of a signature and lexicon declaration file)
It comes with two executables:

How to install it:

You can install it the hard way using the tarball of the sources (all the instructions are in the INSTALL file. But it is also available as an OPAM package.
  1. Install OPAM. Look at installation instructions.
  2. Initialize OPAM. Look at instructions. It will in particular add the binaries installed by opam and make them available. Be sure not to forget to run: opam init or eval $(opam config env) in order to have the opam installed packages available as binaries in your PATH.
  3. Install the acgtk package by running:
    opam install acgtk
    This will make the two binaries acgc and acg available.
Aopcg example files are available either in the example directory of the sources, or in the <root>/<prefix>/share/acgtk/examples where <root> is the root directory of opam (typically $(HOME)/.opam), and <prefix> the current ocaml version (e.g., 4.02.3, or system if you are using a system-installed ocaml, i.e., not installed via opam). You can get the actual share directory path by running opam var share.

How to use it:

Here are three usage examples. There is also an emacs mode to write acg files. Look at the INSTALL file and at the README file for a basic description of how to install and use it.

Related workshops: the Lambda Calculus and Formal Grammar workshop series:

How to contact us:

Sylvain Pogodalla maintains this page. Or you can contact any of the authors in the list above.