Grail: an Interactive Parser for Categorial Grammars


Since early work by Lambek [Lambek 58], linguists and logicians have been trying to specify grammars as logical theories (see e.g. [Morrill 94] or [Moortgat 97] for a good overview). An advantage of this approach over more traditional approaches to linguistics is that we can prove our grammars have abstract well-behavedness properties like soundness… (More)


1 Figure or Table

Slides referencing similar topics