Language in action : categories, lambdas and dynamic logic - Benthem, J. F. A. K. van, 1949- (North-Holland, 1995)