Language in Action: Categories Lambdas and Dynamic Logic (1991)

by J van Benthem