Rules of function composition are included in many categorial grammars.

For example, a simple categorial grammar might have two function types and .

More recent work in categorial grammar has focused on the improvement of syntactic coverage.

A variety of changes to categorial grammar have been proposed to improve syntactic coverage.

A categorial grammar shares some features with the simply typed lambda calculus.

Principal topics of interest to that school included formal ontology, mereology, and universal or categorial grammar.

This categorial grammar generates the same language as the given CFG.

Most systems of categorial grammar subdivide categories.

Specifically Curran's research has focused on the area of natural language processing known as combinatory categorial grammar parsing.

The same construction works for Lambek grammars, since they are an extension of basic categorial grammars.

Categorial Grammar.

It is fairly easy to see that this basic categorial grammar generates the same language as the original CFG.

Tree-adjoining grammar is a categorial grammar that adds in partial tree structures to the categories.

He originated many novel ideas in semiotics, including the "categorial grammar" used by many formal linguists.

Whereas the lambda calculus has only one function type 'A B', a categorial grammar typically has more.

Much like categorial grammar (CG), PG is situated in the type logic world.

"Discontinuous constituents in generalized categorial grammars".

The oldest noncommutative logic is the 'Lambek calculus', which gave rise to the class of logics known as categorial grammars.

Montague grammar uses an ad hoc syntactic system for English that is based on the principles of categorial grammar.

There are a number of related formalisms of this kind in linguistics, such as type logical grammar and abstract categorial grammar.

Sections on Categorial Grammar and Radical Conventionalism.

Pregroup grammar (PG) is a grammar formalism intimately related to categorial grammars.

Within NLP he has published papers on combinatory categorial grammar parsing as well as question answering systems.

Of course, this is not a basic categorial grammar, since it has special axioms that depend upon the language; i.e. it is not lexicalized.

Morril, Glynn (1995), "Discontinuity in categorial grammar" Linguistics and Philosophy.