Categorial grammar.

The universal structure of categories : = towards a formal typology / by: (Language materials, printed)

Anaphora and Type Logical Grammar by: (Language materials, printed)

Language in action = categories, lambdas, and dynamic logic / by: (Language materials, printed)

The universal structure of categories = towards a formal typology / by: (Language materials, printed)

Language and logic.

Anaphora (Linguistics)

Computational Linguistics.

Lambda calculus.

Structural linguistics.

Semantics, Comparative.

Logic.

Categorial grammar.

Linguistics (general)

Logic, Symbolic and mathematical.

Mathematical linguistics.

Language, Universal.

Philosophy of Language.

Grammar, Comparative and general.

Linguistics.