Language in Action

Language in Action

Categories, Lambdas, and Dynamic Logic

by Johan van Benthem