Language in action: categories, lambdas and dynamic logic (1991)

by J Van Benthem