Language in action : categories, lambdas, and dynamic logic /
Benthem, J. F. A. K. van,1949-
Amsterdam ; London : North-Holland,
1995, c1991.
Originally published: Oxford : North-Holland, 1991. With new Addenda.
Includes bibliographical references (p. 327-344) and index.
Language and logic.
Categorial grammar.
Lambda calculus.
Logic, Symbolic and mathematical.
Mathematical linguistics.