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)

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

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

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)