Welcome to the Abstract Categorial Grammar Homepage
This page presents the current state of the art of Abstract
Grammars (ACGs). We intend to keep it up-to-date and present items of
nature. As of now here is a list of publications on ACGs.
to Abstract Categorial Grammars: Foundations and main properties.
Slides: day 1,
in Abstract Categorial Grammars: Language theory and linguistic
notes (part 1
2) are available (note that they are currently moving and
might differ from the ESSLLI
2 and 4, day3, day 5
2 and 4, day
files for day 2, day 4, and lecture notes.
Formal Properties of the ACGs and Modeling:
On the Core Mechanisms of ACGs:
- Carl Pollard: Convergent
- Carl Pollard: Higher-Order
- (2008) Makoto
Prefix-Correct Earley Recognizer for Multiple Context-Free Grammars,
TAG+9 2008, the Ninth
International Workshop on Tree Adjoining Grammars and Related Formalisms,
Tübingen, Germany, June 7-8, 2008. (Slides)
- (2003) Reinhard
Lambdas, and Logic. In
Geert-Jan Kruijff and Richard Oehrle, editors, Resource Sensitivity in Binding and
Anaphora, Studies in Linguistics and Philosophy, pages 23-54.
- (2001) Reinhard
Grammars and the Syntax-Semantics Interface. In R. van Rooy and M. Stokhof,
editors, proceedings of the
Thirteenth Amsterdam Colloquium, pages 150-155, Amsterdam.
- (2001) Reinhard
Grammar and Lexical-Functional Grammar. In Miriam Butt and Tracy Holloway
King, editors, proceedings of the
LFG01 Conference, University of Hong Kong, pages
259-279,Stanford CA, 2001. CSLI Publications..
A toolkit for developing ACG signatures and lexicon is now available
(with a CeCILL license): sources tarball (INSTALL) (README)
(example of a signature and lexicon
It comes with two executables:
- acgc: a typechecker for ACG signature and lexicon definitions
- acg: an interpreter to manipulate ACG signatures, lexicons, and
terms (for instance to load signatures and lexicons, and to check the
type of a term wrt to a given abstract signature, and to compute its
corresponding object term). It is not yet able to parse a term
to an ACG.
workshops: the Lambda Calculus and Formal Grammar workshop
How to contact us:
this page. Or you can contact any of the authors in the list above.