TY  - BOOK
AU  - van Benthem, Johan.
TI  - Language in Action : Categories, Lambdas and Dynamic Logic
SN  - 0 262 72024 8
CY  - USA
KW  - Language and Logic
KW  - Categorical Grammar
KW  - Lambda Calculus
KW  - Logic, Symbolic and Mathematical
KW  - Mathematical Linguistics
ER  -