Categorial grammar.

Anaphora and Type Logical Grammar by: (書目-語言資料,印刷品)

Language in action = categories, lambdas, and dynamic logic / by: (書目-語言資料,印刷品)

The universal structure of categories = towards a formal typology / by: (書目-語言資料,印刷品)

The universal structure of categories : = towards a formal typology / by: (書目-語言資料,印刷品)

Language and logic.

Categorial grammar.

Linguistics (general)

Anaphora (Linguistics)

Logic, Symbolic and mathematical.

Computational Linguistics.

Lambda calculus.

Mathematical linguistics.

Language, Universal.

Structural linguistics.

Semantics, Comparative.

Logic.

Philosophy of Language.

Grammar, Comparative and general.

Linguistics.