"Language in action: Categories, lambdas and dynamic logic" - читать интересную книгу автора (J. van Benthem)