Categorial grammar.

Type logical grammar : = categorial logic of signs / by: (Language materials, printed)

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

Theory of language syntax = categorial approach / by: (Language materials, printed)

The universal structure of categories = towards a formal typology / by: (Electronic resources)

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

Montague grammar.

Logic.

Categorial grammar.

Logic, Symbolic and mathematical.

Linguistics (general)

Formal languages.

Philosophy of Language.

Type theory.

Linguistics.

Language, Universal.

Lambda calculus.

Mathematical linguistics.

Grammar, Comparative and general.

Computational Linguistics.

Structural linguistics.

Semantics, Comparative.

Semantics (Philosophy)

Language and logic.

Anaphora (Linguistics)